store.putValue(key, val);
store.setValue(key, val);
	public boolean performOk() {		String[] allKeys= getAllKeys();		// preserve other options		// store in JCore and the preferences		Hashtable actualOptions= JavaCore.getOptions();		IPreferenceStore store= getPreferenceStore();		boolean hasChanges= false;		for (int i= 0; i < allKeys.length; i++) {			String key= allKeys[i];			String val=  (String) fWorkingValues.get(key);			String oldVal= (String) actualOptions.get(key);			hasChanges= hasChanges | !val.equals(oldVal);						actualOptions.put(key, val);			store.putValue(key, val);		}		JavaCore.setOptions(actualOptions);				if (hasChanges) {			String title= JavaUIMessages.getString("CompilerPreferencePage.needsbuild.title");			String message= JavaUIMessages.getString("CompilerPreferencePage.needsbuild.message");			if (MessageDialog.openQuestion(getShell(), title, message)) {				doFullBuild();			}		}		return super.performOk();	}