tag 875583 + pending thanks Some bugs in the jedit package are closed in revision f0e62feb7d4cd8ea8f7f75bcc7ee0433f871e224 in branch 'master' by Markus Koschany
The full diff can be seen at https://anonscm.debian.org/cgit/pkg-java/jedit.git/commit/?id=f0e62fe Commit message: Fix FTBFS with OpenJDK 9. Closes: #875583 Thanks: Chris West for the report.
