if (bugInstance.getBugPattern().getCategory().equals("CORRECTNESS"))
BugPattern bugPattern = bugInstance.getBugPattern(); if (bugPattern.getCategory().equals("CORRECTNESS") && ! bugPattern.getType().startsWith("DE_") && ! bugPattern.getType().startsWith("HE_") && ! bugPattern.getType().startsWith("SE_") )
	protected void doReportBug(BugInstance bugInstance) {		if (bugInstance.getBugPattern().getCategory().equals("CORRECTNESS"))			bugs.add(bugInstance);			}