Since the update of checkstyle to 8.8 which includes this upstream fix [1], tools.jar is no longer an issue. However, it is affected by the ant javadoc "--ignore-source-errors" issue (same as 893530 [2]).
I'm inclined to close this bug in favor of a new one to track the javadoc problem. Cheers, tony [1] https://github.com/checkstyle/checkstyle/issues/2905 [2] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893530
signature.asc
Description: PGP signature
__ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.
