List anList = DetailsView.getDetailsView().annotationList; anList.removeAll(); BugInstance bug = MarkerUtil.findBugInstanceForMarker(marker);  if (bug != null) { Iterator<BugAnnotation> it = bug.annotationIterator(); while (it.hasNext()) { BugAnnotation ba = it.next(); anList.add(ba.toString()); } }
	public static void showMarker(IMarker marker) {		// Obtain the current workbench page, and show the details view		IWorkbenchPage[] pages = FindbugsPlugin.getActiveWorkbenchWindow()				.getPages();		if (pages.length > 0) {			try {				pages[0].showView("de.tobject.findbugs.view.detailsview");				String bugType =  marker.getAttribute(						FindBugsMarker.BUG_TYPE, "");				BugPattern pattern = I18N.instance().lookupBugPattern(bugType);				if (pattern != null) {					String shortDescription = pattern.getShortDescription();					String detailText = pattern.getDetailText();					DetailsView.getDetailsView().setContent(shortDescription,							detailText);				}			} catch (PartInitException e) {				FindbugsPlugin.getDefault().logException(e,						"Could not update bug details view");			}		}	}