JavaPlugin.getDefault().getProblemMarkerManager().removeListener(fViewer);
if (fViewer != null) JavaPlugin.getDefault().getProblemMarkerManager().removeListener(fViewer);
	 public void dispose() {		JavaPlugin.getDefault().getProblemMarkerManager().removeListener(fViewer);		if (fContextMenu != null && !fContextMenu.isDisposed())			fContextMenu.dispose();		getSite().getPage().removePartListener(fPartListener);		super.dispose();		}