setSourceTabTitle("Source"); clearSummaryTab(); sourceCodeTextPane.setDocument(SourceCodeDisplay.SOURCE_NOT_RELEVANT); currSrcLineAnnotation = null;
summaryTopPanel.removeAll();  summaryTopPanel.add(bugSummaryComponent(bug.getMessageWithoutPrefix(), bug)); for(BugAnnotation b : primaryAnnotations) summaryTopPanel.add(bugSummaryComponent(b, bug));   if(!classIncluded2 && bug.getPrimaryClass() != null) primaryAnnotations.add(bug.getPrimaryClass());  for(Iterator<BugAnnotation> i = bug.annotationIterator(); i.hasNext();){ BugAnnotation b = i.next(); boolean cont = true; for(BugAnnotation p : primaryAnnotations) if(p == b) cont = false;  if(cont) summaryTopPanel.add(bugSummaryComponent(b, bug)); }  summaryHtmlArea.setText(bug.getBugPattern().getDetailHTML());  summaryTopPanel.add(Box.createVerticalGlue()); summaryTopPanel.revalidate();  SwingUtilities.invokeLater(new Runnable(){ public void run(){ summaryHtmlScrollPane.getVerticalScrollBar().setValue(summaryHtmlScrollPane.getVerticalScrollBar().getMinimum()); } });
			public void run(){				setSourceTabTitle("Source");								clearSummaryTab();				sourceCodeTextPane.setDocument(SourceCodeDisplay.SOURCE_NOT_RELEVANT);				currSrcLineAnnotation = null;			}