tag 893547 + pending thanks Some bugs in the ant package are closed in revision 34d8e87da94a2f643712e0a008d8030f67d73b87 in branch 'master' by Emmanuel Bourg
The full diff can be seen at https://anonscm.debian.org/cgit/pkg-java/ant.git/commit/?id=34d8e87 Commit message: Don't use the javadoc --ignore-source-errors option when using a custom doclet (Closes: #893547)