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