prefs.setValue(PREF_IS_FOR_GETTERS, fUseIsForBooleanGettersBox.isSelected());
	public boolean performOk(boolean enabled) {		IPreferenceStore prefs= PreferenceConstants.getPreferenceStore();		prefs.setValue(PREF_KEYWORD_THIS, fUseKeywordThisBox.isSelected());		JavaPlugin.getDefault().savePluginPreferences();						packEntries();		return super.performOk(enabled);	}