Bug#873252: Pending fixes for bugs in the javatools package

[pkg-java-maintainers at lists.alioth.debian.org]

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)