preferenceStore.setDefault("port",(int)4001);
preferenceStore.setDefault("port","4001");
	public G2Gui(PreferenceStore preferenceStore_, boolean connected) {		super("G2gui");		this.connected = connected;				this.preferenceStore = preferenceStore_;		preferenceStore.setDefault("hostname","localhost");		preferenceStore.setDefault("username","admin");		preferenceStore.setDefault("password","");		preferenceStore.setDefault("port",(int)4001);	}