Index: trunk/src/org/openstreetmap/josm/Main.java
===================================================================
--- trunk/src/org/openstreetmap/josm/Main.java	(revision 10857)
+++ trunk/src/org/openstreetmap/josm/Main.java	(revision 10858)
@@ -515,10 +515,4 @@
 
     /**
-     * Whether or not the java vm is openjdk
-     * We use this to work around openjdk bugs
-     */
-    public static boolean isOpenjdk;
-
-    /**
      * Initializes {@code Main.pref} in normal application context.
      * @since 6471
@@ -583,5 +577,4 @@
      */
     public void initialize() {
-        isOpenjdk = System.getProperty("java.vm.name").toUpperCase(Locale.ENGLISH).indexOf("OPENJDK") != -1;
         fileWatcher.start();