this.abbrevSet = new HashSet<String>();
	public CountBugs2(BugCollection bugCollection) {		this.bugCollection = bugCollection;		this.categorySet = new HashSet<String>();		this.minPriority = Detector.NORMAL_PRIORITY;	}