store.setDefault(SAVE_WATCHERS, true);
store.setDefault(SAVE_WATCHERS, false);
	private void initializeDefaults()	{		IPreferenceStore store = getPreferenceStore();		store.setDefault(SAVE_WATCHERS, true);	}