if (bug.getPriority() == Detector.HIGH_PRIORITY) marker.setAttribute(IMarker.PRIORITY, IMarker.PRIORITY_HIGH); else if (bug.getPriority() == Detector.NORMAL_PRIORITY) marker.setAttribute(IMarker.PRIORITY, IMarker.PRIORITY_NORMAL); else marker.setAttribute(IMarker.PRIORITY, IMarker.PRIORITY_LOW);
	public void run(IProgressMonitor monitor) throws CoreException {		IMarker marker = resource.createMarker(FindBugsMarker.NAME);		marker.setAttribute(IMarker.LINE_NUMBER, startLine);		marker.setAttribute(FindBugsMarker.BUG_TYPE, bug.getType());		marker.setAttribute(IMarker.MESSAGE, bug.getMessage());		marker.setAttribute(IMarker.SEVERITY, IMarker.SEVERITY_WARNING);				// Set unique id of warning, so we can easily refer back		// to it later: for example, when the user classifies the warning.		String uniqueId = bug.getUniqueId();		if (uniqueId != null) {			marker.setAttribute(FindBugsMarker.UNIQUE_ID, uniqueId);		}	}