formatting
[jalview.git] / src / jalview / util / BrowserLauncher.java
index 9014de2..6f89f68 100755 (executable)
@@ -233,7 +233,16 @@ public class BrowserLauncher
     if (osName.startsWith("Mac OS"))
     {
       String mrjVersion = System.getProperty("mrj.version");
-      String majorMRJVersion = mrjVersion.substring(0, 3);
+      String majorMRJVersion;
+      if (mrjVersion == null)
+      {
+        // must be on some later build with mrj support
+        majorMRJVersion = "3.1";
+      }
+      else
+      {
+        majorMRJVersion = mrjVersion.substring(0, 3);
+      }
 
       try
       {