if (this.indexManager != null) {
this.indexManager.shutdown();
}
// Stop listening to preferences changes
preferences.removePreferenceChangeListener(this.propertyListener);
((IEclipsePreferences) this.preferencesLookup[PREF_DEFAULT].parent()).removeNodeChangeListener(this.defaultNodeListener);
this.preferencesLookup[PREF_DEFAULT] = null;
((IEclipsePreferences) this.preferencesLookup[PREF_INSTANCE].parent()).removeNodeChangeListener(this.instanceNodeListener);
this.preferencesLookup[PREF_INSTANCE].removePreferenceChangeListener(this.instancePreferencesListener);
this.preferencesLookup[PREF_INSTANCE] = null;