Bug 55877 [preferences] Remove temporary rebuild preference
I200403240010 It is not clear whether this preferences enables the feature just for some minutes or until it gets finally removed (I assumed the latter).
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/misc/WorkInProgressPreferencePage.java
Platform.getPlugin(Platform.PI_RUNTIME).getPluginPreferences().getInt(
				Platform.PREF_PLATFORM_PERFORMANCE);
		if (value < SLOW)
			return FAST;
		else
			return value;
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench)
	 */
	public void init(IWorkbench workbench) {
		
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.jface.preference.IPreferencePage#performOk()
	 */
	public boolean performOk() {
		Platform.getPlugin(Platform.PI_RUNTIME).getPluginPreferences().setValue(
			Platform.PREF_PLATFORM_PERFORMANCE,
			slider.getSelection());
		Platform.getPlugin(Platform.PI_RUNTIME).savePluginPreferences();
		Preferences preferences = ResourcesPlugin.getPlugin().getPluginPreferences();
		boolean autoRefresh = autoRefreshButton.getSelection();
		preferences.setValue(ResourcesPlugin.PREF_AUTO_REFRESH, autoRefresh);
		if (autoRefresh) {
			preferences.setValue(