From 281872ba376cdbbf4cc000ae8dc96958acae6177 Mon Sep 17 00:00:00 2001 From: jprocter Date: Tue, 28 Aug 2012 10:43:13 +0100 Subject: [PATCH] JAL-1149 patch --- src/jalview/util/BrowserLauncher.java | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/jalview/util/BrowserLauncher.java b/src/jalview/util/BrowserLauncher.java index 9014de2..8d0d488 100755 --- 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 { -- 1.7.10.2