+ // set default browser
+ String defaultBrowser = Cache.getProperty("DEFAULT_BROWSER");
+ if (defaultBrowser != null)
+ {
+ System.setProperty(IBrowserLaunching.BROWSER_SYSTEM_PROPERTY,
+ defaultBrowser);
+ BrowserLauncher.resetBrowser();
+ } // don't clearProperty if DEFAULT_BROWSER is null, might be set by user
+