store.setDefault("saveWatchers", true);
store.setDefault("saveWatchers", false);
	protected void initializeDefaultPreferences(IPreferenceStore store) {		super.initializeDefaultPreferences(store);		store.setDefault("saveWatchers", true);	}