fMarkOccurrenceModificationStamp= IDocumentExtension4.UNKNOWN_MODIFICATION_STAMP; fMarkOccurrenceTargetRegion= null;
	void removeOccurrenceAnnotations() {		IDocumentProvider documentProvider= getDocumentProvider();		if (documentProvider == null)			return;		IAnnotationModel annotationModel= documentProvider.getAnnotationModel(getEditorInput());		if (annotationModel == null || fOccurrenceAnnotations == null)			return;		synchronized (getLockObject(annotationModel)) {			if (annotationModel instanceof IAnnotationModelExtension) {				((IAnnotationModelExtension)annotationModel).replaceAnnotations(fOccurrenceAnnotations, null);			} else {				for (int i= 0, length= fOccurrenceAnnotations.length; i < length; i++)					annotationModel.removeAnnotation(fOccurrenceAnnotations[i]);			}			fOccurrenceAnnotations= null;		}	}