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