openjdk-9 (9.0.4+12-2ubuntu3) bionic; urgency=medium * Work around build failure building the documentation. -- Matthias Klose <email address hidden> Sat, 17 Mar 2018 23:40:12 +0800