Package: libmaven-javadoc-plugin
Version: 3.0.0-2
Priority: normal
User: debian-j...@lists.debian.org
Usertags: default-java10
Tags: buster sid
On OpenJDK 10, the plugin fails to find the javadoc command, and prints:
[ERROR] Failed to execute goal
org.apache.maven.plugins:maven-javadoc-plugin:3.0.0:jar (default-cli)
on [..]:
MavenReportException: Error while generating Javadoc:
Unable to find javadoc command:
The environment variable JAVA_HOME is not correctly set. -> [Help 1]
Please ensure that it can find the javadoc command, at least during
Debian package builds.
This issue is the same bug as https://bugs.debian.org/866929 but for a
different JDK release.
The patch for that issue,
https://anonscm.debian.org/cgit/pkg-java/maven-javadoc-plugin.git/tree/debian/patches/openjdk-9-javadoc-path.patch
, is using "is exactly JDK9", and apparently needs to be "is at least JDK9".
Cheers,
Chris.
