Bug#893210: Pending fixes for bugs in the jedit package

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

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