out.println("<h1>" + bugPattern.getAbbrev() + ": " + bugPattern.getShortDescription() + "</h1>");
out.println("<h2>" + bugPattern.getAbbrev() + ": " + bugPattern.getShortDescription() + "</h2>");
	private void emit(BugPattern bugPattern) throws IOException {		out.println("<h1>" + bugPattern.getAbbrev() + ": " +			bugPattern.getShortDescription() + "</h1>");		out.println(bugPattern.getDetailText());	}