String[] allKeys= getAllKeys();   Hashtable actualOptions= JavaCore.getOptions(); for (int i= 0; i < allKeys.length; i++) { String key= allKeys[i]; String val=  (String) fWorkingValues.get(key); actualOptions.put(key, val); } JavaCore.setOptions(actualOptions); JavaPlugin.getDefault().savePluginPreferences();
if (!fConfigurationBlock.performOk(true)) { return false; }
	public boolean performOk() {		String[] allKeys= getAllKeys();		// preserve other options		// store in JCore		Hashtable actualOptions= JavaCore.getOptions();		for (int i= 0; i < allKeys.length; i++) {			String key= allKeys[i];			String val=  (String) fWorkingValues.get(key);			actualOptions.put(key, val);		}		JavaCore.setOptions(actualOptions);		JavaPlugin.getDefault().savePluginPreferences();		return super.performOk();	}	