store.setDefault(PREF_SHOW_TEMP_PROBLEMS, false);
	public static void initDefaults(IPreferenceStore store) {		store.setDefault(PREF_SYNC_OUTLINE_ON_CURSOR_MOVE, false);		store.setDefault(PREF_SHOW_TEMP_PROBLEMS, false);	}