There is no openjdk-9-jre on openSUSE

[jirislaby@…]

When a crash occurs, josm tries to dump jdk's version:

 Java package: openjdk-9-jre:balíček openjdk-9-jre není nainstalován

Which in Czech means "package not installed". Obviously:

    public String getJavaPackageDetails() {
        String home = System.getProperty("java.home");
        if (home.contains("java-8-openjdk") || home.contains("java-1.8.0-openjdk")) {
            return getPackageDetails("openjdk-8-jre", "java-1_8_0-openjdk", "java-1.8.0-openjdk");
        } else if (home.contains("java-9-openjdk") || home.contains("java-1.9.0-openjdk")) {
            return getPackageDetails("openjdk-9-jre", "java-1_9_0-openjdk", "java-1.9.0-openjdk");
        } else if (home.contains("icedtea")) {
            return getPackageDetails("icedtea-bin");
        } else if (home.contains("oracle")) {
            return getPackageDetails("oracle-jdk-bin", "oracle-jre-bin");
        }
        return null;
    }

The package is named java-9-openjdk on openSUSE:

rpm -q --provides java-9-openjdk
java = 9
java-1_9_0-openjdk = 9.0.0.0~181-3.1
java-64 = 9
java-9 = 9.0.0.0~181-3.1
java-9-64
java-9-openjdk = 9.0.0.0~181-3.1
java-9-openjdk(x86-64) = 9.0.0.0~181-3.1
java-fonts = 9.0.0.0~181
java-openjdk = 9.0.0.0~181-3.1
java-openjdk-64 = 9.0.0.0~181-3.1
jre = 9
jre-64 = 9
jre-9 = 9.0.0.0~181-3.1
jre-9-64
jre-9-openjdk = 9.0.0.0~181-3.1
jre-9-openjdk-64 = 9.0.0.0~181-3.1
jre-openjdk = 9.0.0.0~181-3.1
jre-openjdk-64 = 9.0.0.0~181-3.1
jre1.3.x
jre1.4.x
jre1.5.x
jre1.6.x
jre1.7.x
jre1.8.x
jre1.9.x
...