if (!getProgressMonitor().isCanceled()) getProgressMonitor().setTaskName(SearchMessages.getString("SearchResultCollector.done") + ": " + fMatchCount + SPACE_MATCHES + "   ");
if (!getProgressMonitor().isCanceled()) { String matchString; if (fMatchCount == 1) matchString= fMatchCount + SPACE_MATCH; else matchString= fMatchCount + SPACE_MATCHES; getProgressMonitor().setTaskName(SearchMessages.getString("SearchResultCollector.done") + ": " + matchString + "   "); }
	public void done() {		if (!getProgressMonitor().isCanceled())			getProgressMonitor().setTaskName(SearchMessages.getString("SearchResultCollector.done") + ": " + fMatchCount + SPACE_MATCHES + "   "); //$NON-NLS-3$ //$NON-NLS-2$ //$NON-NLS-1$		if (fView != null)			fView.searchFinished();		// Cut no longer unused references because the collector might be re-used		fView= null;		fMonitor= null;	}