Update PlatformFactory.java

barretg · barretg · commit 116637559319 · 2024-04-10T13:03:57.000-05:00
diff --git a/drjava/src/edu/rice/cs/drjava/platform/PlatformFactory.java b/drjava/src/edu/rice/cs/drjava/platform/PlatformFactory.java
@@ -46,8 +46,10 @@ private static PlatformSupport getPlatformSupport() {
     
     // Get OS name string; we expect one of "windows xp", "mac os x", etc.
     String os = System.getProperty("os.name").toLowerCase();
+    String java_version = System.getProperty("java.version").toLowerCase();
     
-    if (os.startsWith("mac os x")) return MacPlatform.ONLY;
+    if (os.startsWith("mac os x") && java_version.startsWith("1.")) return MacPlatform.ONLY;
+    else if (os.startsWith("mac os x")) return MacPlatform.ONLY;
     else if (os.startsWith("windows")) return WindowsPlatform.ONLY;
     else return DefaultPlatform.ONLY; 
   }
