fView= null; fMonitor= null;
	public void done() {		if (!getProgressMonitor().isCanceled())			getProgressMonitor().setTaskName(JavaPlugin.getResourceString("SearchResultCollector.done") + ": " + fMatchCount + SPACE_MATCHES + "   ");		if (fView != null)			fView.searchFinished();	}