fComputeCount++;
uninstallOccurrencesFinder();
	public void dispose() {		// cancel possible running computation		fMarkOccurrenceAnnotations= false;		fComputeCount++;				if (fActivationListener != null) {			Shell shell= getEditorSite().getShell();			if (shell != null && !shell.isDisposed())				shell.removeShellListener(fActivationListener);			fActivationListener= null;		}				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();	}