--- src/org/gjt/jclasslib/util/GUIHelper.java 2011-02-27 18:32:51.000000000 +0100 +++ src/org/gjt/jclasslib/util/GUIHelper.java-gil 2011-06-15 23:34:11.113247993 +0200 @@ -105,7 +105,7 @@ if (System.getProperty("os.name").startsWith("Windows")) { commandLine = "rundll32.exe url.dll,FileProtocolHandler " + urlSpec; } else { - commandLine = "firefox " + urlSpec; + commandLine = "_DEFAULT_BROWSER_ " + urlSpec; } try { Runtime.getRuntime().exec(commandLine);