import com.threerings.getdown.util.LaunchUtil;
-import edu.stanford.ejalbert.launching.IBrowserLaunching;
+//import edu.stanford.ejalbert.launching.IBrowserLaunching;
import groovy.lang.Binding;
import groovy.util.GroovyScriptEngine;
import jalview.ext.so.SequenceOntology;
String defaultBrowser = Cache.getProperty("DEFAULT_BROWSER");
if (defaultBrowser != null)
{
- System.setProperty(IBrowserLaunching.BROWSER_SYSTEM_PROPERTY,
+ System.setProperty(BrowserLauncher.getBrowserSystemProperty(),
defaultBrowser);
BrowserLauncher.resetBrowser();
} // don't clearProperty if DEFAULT_BROWSER is null, might be set by user