try { Preferences.savePreferenceToFile("browser", browser); } catch (IOException ioe) { ioe.printStackTrace(); shell.close(); }
	private void createWidgets(Display display) {    shell = new Shell(display);    shell.setText("Settings");    shell.addShellListener(new ShellAdapter() {      public void shellClosed(ShellEvent e){        done=true;      }    });		GridLayout layout = new GridLayout(1, false);    shell.setLayout(layout);        tabs = new TabFolder(shell, SWT.NONE);		//Pluginpage    TabItem tabItem = new TabItem(tabs, SWT.NONE);    tabItem.setText("Plugins");		tabItem.setControl(createPluginPage(tabs));    tabItem = new TabItem(tabs, SWT.NONE);    tabItem.setText("Browser");		tabItem.setControl(createBrowserPage(tabs));		tabs.pack();    Button ok = new Button(shell, SWT.NONE);    ok.setText("Close");        //gd.horizontalSpan = 2;    ok.setLayoutData(new GridData(GridData.HORIZONTAL_ALIGN_END));    ok.addSelectionListener(new SelectionAdapter(){      public void widgetSelected(SelectionEvent e){        shell.close();      }    });		    shell.pack();      }