tag 873252 + pending thanks Some bugs in the javatools package are closed in revision e55d8a5e713782fea77694b514805bab248687f9 in branch 'master' by Emmanuel Bourg
The full diff can be seen at https://anonscm.debian.org/cgit/pkg-java/javatools.git/commit/?id=e55d8a5 Commit message: Ignore the "unnamed package" generated by Java 9 in the javadoc package-list file when resolving the doc dependencies (Closes: #873252)
