this.headerText = this.beginBodyText = this.prologueText = this.endBodyText = "";
	public PrettyPrintBugDescriptions(String docTitle, OutputStream out) {		super(docTitle, out);		this.bugPatternSet = new TreeSet<BugPattern>(new BugPatternComparator());	}