tag 893210 + pending thanks Some bugs in the jedit package are closed in revision 3db0a8328259df7e5d7a3f15f3e50c73c7f2cda1 in branch 'master' by Markus Koschany
The full diff can be seen at https://anonscm.debian.org/cgit/pkg-java/jedit.git/commit/?id=3db0a83 Commit message: Move ant clean-all call into dh_install override due to the weird dh_quilt_patch hack. Otherwise the java9.patch is not applied when dh_auto_clean is executed. Closes: #893210 __ 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.