prefs.setValue(PREF_PKG_NAME_PATTERN_FOR_PKG_VIEW, fPackageNamePattern.getText());
	public boolean performOk() {		IPreferenceStore prefs= JavaPlugin.getDefault().getPreferenceStore();		prefs.setValue(PREF_METHOD_RETURNTYPE, fShowMethodReturnType.isSelected());		prefs.setValue(PREF_OVERRIDE_INDICATOR, fShowOverrideIndicator.isSelected());		return super.performOk();	}	