Bug 7945 Search results not selected in external jar
Build 20020115 1. Make sure you have JDK1.3.1 as the default JRE (and that you have source for rt.jar) 2. Open java.io.File 3. Select field 'tmpFir' 4. Searcg for references to this field 5. You should get 3 matches in method getTempDir() 6. Double-click on the search result Observe: The first match is not selected.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/ClassFileMarkerAnnotationModel.java
}
	
	/**
	 * @see AbstractMarkerAnnotationModel#createMarkerAnnotation(IMarker)
	 */
	protected MarkerAnnotation createMarkerAnnotation(IMarker marker) {
		return new JavaMarkerAnnotation(marker);
	}
	
	/**
	 * @see AbstractMarkerAnnotationModel#listenToMarkerChanges(boolean)
	 */
	protected void listenToMarkerChanges(boolean listen) {
		if (listen)
			fWorkspace.addResourceChangeListener(this);
		else
			fWorkspace.removeResourceChangeListener(this);
	}
	
	/**
	 * @see AbstractMarkerAnnotationModel#deleteMarkers(IMarker[])
	 */
	protected void deleteMarkers(IMarker[] markers) throws CoreException {
		
	}
	/**
	 * @see AbstractMarkerAnnotationModel#retrieveMarkers()
	 */
	protected IMarker[] retrieveMarkers() throws CoreException {
		return fMarkerResource.findMarkers(IMarker.MARKER, true, IResource.DEPTH_INFINITE);