if (fPreferenceStore != null) {
if (fPreferenceStore != null)
	public void unconfigure() {		if (fOutlinePresenter != null) {			fOutlinePresenter.uninstall();				fOutlinePresenter= null;		}		if (fStructurePresenter != null) {			fStructurePresenter.uninstall();			fStructurePresenter= null;		}		if (fHierarchyPresenter != null) {			fHierarchyPresenter.uninstall();			fHierarchyPresenter= null;		}		if (fForegroundColor != null) {			fForegroundColor.dispose();			fForegroundColor= null;		}		if (fBackgroundColor != null) {			fBackgroundColor.dispose();			fBackgroundColor= null;		}		if (fPreferenceStore != null) {			fPreferenceStore.removePropertyChangeListener(this);			fPreferenceStore= null;		}				super.unconfigure();	}