}  if (fOccurrencesFinderJobCanceler != null) { fOccurrencesFinderJobCanceler.uninstall(); fOccurrencesFinderJobCanceler= null;
	protected void uninstallOccurrencesFinder() {		fMarkOccurrenceAnnotations= false;				if (fOccurrencesFinderJob != null) {			fOccurrencesFinderJob.cancel();			fOccurrencesFinderJob= null;		}				if (fPostSelectionListenerWithAST != null) {			SelectionListenerWithASTManager.getDefault().removeListener(this, fPostSelectionListenerWithAST);			fPostSelectionListenerWithAST= null;		}				removeOccurrenceAnnotations();	}