summaryTopPanel.add(bugSummaryComponent(bug.getMessageWithoutPrefix()));
summaryTopPanel.add(bugSummaryComponent(bug.getMessageWithoutPrefix(), bug));
			public void run(){				summaryTopPanel.removeAll();								summaryTopPanel.add(bugSummaryComponent(bug.getMessageWithoutPrefix()));				for(BugAnnotation b : primaryAnnotations)					summaryTopPanel.add(bugSummaryComponent(b));												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));				}								summaryHtmlArea.setText(bug.getBugPattern().getDetailHTML());												summaryTopPanel.add(Box.createVerticalGlue());				summaryTopPanel.revalidate();								SwingUtilities.invokeLater(new Runnable(){					public void run(){						summaryHtmlScrollPane.getVerticalScrollBar().setValue(summaryHtmlScrollPane.getVerticalScrollBar().getMinimum());					}				});			}