JAL-1149 patch

diff --git a/src/jalview/util/BrowserLauncher.java b/src/jalview/util/BrowserLauncher.java
index 9014de2..8d0d488 100755 (executable)
--- a/src/jalview/util/BrowserLauncher.java
+++ b/src/jalview/util/BrowserLauncher.java
@@ -233,7 +233,13 @@ 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
       {