fOccurrenceAnnotations= null;
fMarkOccurrenceAnnotations= false;
	public void dispose() {		// cancel possiblle running computation		fOccurrenceAnnotations= null;		fComputeCount++;				if (isBrowserLikeLinks())			disableBrowserLikeLinks();					if (fEncodingSupport != null) {				fEncodingSupport.dispose();				fEncodingSupport= null;		}				if (fPropertyChangeListener != null) {			Preferences preferences= JavaCore.getPlugin().getPluginPreferences();			preferences.removePropertyChangeListener(fPropertyChangeListener);			fPropertyChangeListener= null;		}				if (fBracketMatcher != null) {			fBracketMatcher.dispose();			fBracketMatcher= null;		}				if (fSelectionHistory != null) {			fSelectionHistory.dispose();			fSelectionHistory= null;		}				if (fEditorSelectionChangedListener != null)  {			fEditorSelectionChangedListener.uninstall(getSelectionProvider());			fEditorSelectionChangedListener= null;		}						super.dispose();	}