if (!getProgressMonitor().isCanceled()) getProgressMonitor().subTask(++fMatchCount + SPACE_MATCHES);
fMatchCount= fMatchCount + 1; if (!getProgressMonitor().isCanceled()) { String text; if (fMatchCount == 1) text= fMatchCount + SPACE_MATCH; else text= fMatchCount + SPACE_MATCHES; getProgressMonitor().subTask(text); }
	public void accept(IResource resource, int start, int end, IJavaElement enclosingElement, int accuracy) throws CoreException {		IMarker marker= resource.createMarker(SearchUI.SEARCH_MARKER);		HashMap attributes= new HashMap(4);		JavaCore.addJavaElementMarkerAttributes(attributes, enclosingElement);		attributes.put(IJavaSearchUIConstants.ATT_JE_HANDLE_ID, enclosingElement.getHandleIdentifier());		attributes.put(IMarker.CHAR_START, new Integer(Math.max(start, 0)));		attributes.put(IMarker.CHAR_END, new Integer(Math.max(end, 0)));		if (enclosingElement instanceof IMember && ((IMember)enclosingElement).isBinary())			attributes.put(IWorkbenchPage.EDITOR_ID_ATTR, JavaUI.ID_CF_EDITOR);		else			attributes.put(IWorkbenchPage.EDITOR_ID_ATTR, JavaUI.ID_CU_EDITOR);		marker.setAttributes(attributes);		fView.addMatch(enclosingElement.getElementName(), enclosingElement, resource, marker);		if (!getProgressMonitor().isCanceled())			getProgressMonitor().subTask(++fMatchCount + SPACE_MATCHES);	}