Changeset 12278 in josm for trunk

Timestamp:

2017-05-30T13:23:49+02:00 (7 years ago)

Author:

Don-vip

Message:

see #14821 - update java version numbers

File:

• trunk/src/org/openstreetmap/josm/tools/PlatformHookWindows.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/tools/PlatformHookWindows.java

@@ -171 +171 @@
                 final int javaBuild = Utils.getJavaBuild();
                 // See https://technet.microsoft.com/en-us/windows/release-info.aspx
-                if (currentBuild >= 15_063 && ((javaVersion == 8 && javaUpdate < 152)
-                        || (javaVersion == 9 && javaUpdate == 0 && javaBuild < 171))) {
+                if (currentBuild >= 15_063 && ((javaVersion == 8 && javaUpdate < 141)
+                        || (javaVersion == 9 && javaUpdate == 0 && javaBuild < 173))) {
                     // Workaround from https://bugs.openjdk.java.net/browse/JDK-8179014
                     UIManager.put("FileChooser.useSystemExtensionHiding", Boolean.FALSE);