fOccurrencesFinderJob.doCancel();
if (fOccurrencesFinderJob != null) fOccurrencesFinderJob.doCancel();
		public void documentAboutToBeChanged(DocumentEvent event) {			fOccurrencesFinderJob.doCancel();		}