Bug#875583: FTBFS with Java 9: checks for java 8

[Chris West]

Source: jedit
Version: 5.4.0+dfsg
Severity: normal
User: debian-java at lists.debian.org
Usertags: default-java9

This package fails to build with default-jdk pointing to openjdk-9-jdk.
Please fix it, so that we can start the transition to Java 9.
The wiki has some common problems and their solutions:
https://wiki.debian.org/Java/Java9Pitfalls

Build log:

init:
     [echo] Buildfile for jedit (/build/jedit-5.4.0+dfsg/build.xml)

BUILD FAILED
/build/jedit-5.4.0+dfsg/build.xml:78: Java 1.8 is needed for jEdit to build, please install it and rerun (found Java version: '9')


Cheers,
Chris.