fConfiguration= null;
	public void uninstall() {		disable();				if (fPreferenceStore != null) {			fPreferenceStore.removePropertyChangeListener(this);			fPreferenceStore= null;		}				fEditor= null;		fSourceViewer= null;		fColorManager= null;		fPresentationReconciler= null;	}