debian/changelog

+libsbml (5.16.0+dfsg-2) unstable; urgency=medium
+
+  * Work around javadoc issue with Java 9
+    Closes: #893298
+
+ -- Andreas Tille <tille@debian.org>  Sun, 18 Mar 2018 19:49:01 +0100
+
 libsbml (5.16.0+dfsg-1) unstable; urgency=medium
 
   * New upstream version

debian/patches/javadoc_java9.patch

+Description: Work around javadoc issue with Java 9
+  See https://lists.debian.org/debian-java/2018/03/msg00023.html
+Bug-Debian: https://bugs.debian.org/893298
+Author: Markus Koschany <apo@debian.org>
+        Andreas Tille <tille@debian.org>
+Last-Update: Sun, 18 Mar 2018 19:39:40 +0100
+
+--- a/docs/CMakeLists.txt
++++ b/docs/CMakeLists.txt
+@@ -208,10 +208,6 @@ if (WITH_JAVA)
+ 	endif()
+ 	set(Java_JAVADOC_JAR ${Java_JAVADOC_JAR} CACHE FILEPATH "Location of javadoc jar")
+ 
+-	if (NOT EXISTS "${Java_JAVADOC_JAR}")
+-		message(FATAL_ERROR "Cannot generate java documentation, please specify the Java_JAVADOC_JAR.")
+-	endif()
+-
+ 	set(LIBSBML_JAVA_DIR "${CMAKE_CURRENT_BINARY_DIR}/../src/bindings/java/java-files")
+ 	set(LIBSBML_JAVADOC_DOCTITLE "${PACKAGE_NAME} ${PACKAGE_VERSION} Java API Reference")
+ 	set(LIBSBML_JAVADOC_HEADER "<B>${PACKAGE_NAME}<BR>${PACKAGE_VERSION}</B>")

debian/patches/series

@@ -5,3 +5,4 @@ spelling.patch
 swig-3.x.patch
 mips-compile-with-O1.patch
 # fix_cmake.patch # just warnings - ignore
+javadoc_java9.patch

debian/rules

@@ -21,9 +21,6 @@ endif
 JDK_PATH:=$(shell readlink -f /usr/bin/javac | sed "s:/bin/javac::")
 JAVA_INCLUDE_PATH:=$(JDK_PATH)/include
 
-# This is the path to the javadoc jar, which doc/CMakeLists.txt doesn't find
-CMAKE_OPTS += -DJava_JAVADOC_JAR=$(JDK_PATH)/lib/tools.jar -DJAVA_INCLUDE_PATH=$(JAVA_INCLUDE_PATH)
-
 ifneq (,$(filter $(DEB_HOST_ARCH), mips mipsel))
 CMAKE_OPTS += -D'WITH_01_COMPILE:BOOL=ON'
 endif