for (BugAnnotation b : bug.getAnnotationsForMessage(true)) {
summaryTopPanel.add(mainFrameComponentFactory.bugSummaryComponent(b, bug));
}
BugPattern bugPattern = bug.getBugPattern();
String detailText =
bugPattern.getDetailText()
+"<br><p> <b>Bug kind and pattern: " +
bugPattern.getAbbrev() + " - " + bugPattern.getType();
String txt = bugPattern.getDetailHTML(detailText);
summaryHtmlArea.setText(txt);
summaryTopPanel.add(Box.createVerticalGlue());
summaryTopPanel.revalidate();