}
StringBuilder sb = new StringBuilder("<b>Pattern</b>: ");
sb.append(pattern.getType());
sb.append("\n<br><b>Type</b>: ").append(pattern.getAbbrev()).append(", <b>Category</b>: ");
sb.append(pattern.getCategory());
BugCategory category = DetectorFactoryCollection.instance().getBugCategory(pattern.getCategory());
if(category != null) {
sb.append(" (");
sb.append(category.getShortDescription());
sb.append(")");
}
return sb.toString();
}