try { Preferences.savePreferenceToFile("browser", browser); } catch (IOException ioe) { ioe.printStackTrace(); shell.close(); }
      public void widgetSelected(SelectionEvent e){        shell.close();      }