Reset browser every time

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 32052f7..bf26c0d 100755 (executable)
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -197,11 +197,10 @@ public class Preferences extends GPreferences
       if(defaultBrowser.getText().trim().length()<1)\r
         Cache.applicationProperties.remove("DEFAULT_BROWSER");\r
       else\r
-      {\r
         Cache.applicationProperties.setProperty("DEFAULT_BROWSER",\r
                                                 defaultBrowser.getText());\r
+\r
         jalview.util.BrowserLauncher.resetBrowser();\r
-      }\r
 \r
         if(nameLinks.size()>0)\r
         {\r