JavaPlugin.getErrorTickManager().removeListener(fSeverityListener);
JavaPlugin.getDefault().getJavaProblemMarkerFilter().removeListener(fJavaProblemListener);
	public void dispose() {		fHierarchyLifeCycle.freeHierarchy();		fHierarchyLifeCycle.removeChangedListener(fTypeHierarchyLifeCycleListener);		JavaPlugin.getErrorTickManager().removeListener(fSeverityListener);		fPaneLabelProvider.dispose();		getSite().getPage().removePartListener(fPartListener);		super.dispose();	}