preferenceStore.setValue("port",portField.getIntValue());
preferenceStore.setValue("port",portField.getStringValue());
	public boolean performOk(){			/* only perform, if this tab has been 		 * initialized (checked by the existance of the hostnamefield)		 */ 			if (hostNameField!= null){			preferenceStore.setValue("initialized",true);		preferenceStore.setValue("hostname",hostNameField.getStringValue());		preferenceStore.setValue("username",userNameField.getStringValue());		preferenceStore.setValue("port",portField.getIntValue());		preferenceStore.setValue("password",passwordField.getStringValue());				/*the next one gets the wrong thing, have to find out, how to obtain the selected		 * font out of the fontDialog, maybe subclassing the thing??		 */				preferenceStore.setValue("ConsoleFont",consoleTabFontField.getFieldEditorFontName());		/* any more options go in here, you got the syntax??*/					try {				preferenceStore.save();			} catch (IOException e) {				System.out.println("Saving Preferences failed");			}			}				return super.performOk();					}