if (!bugInstanceSet.contains(bugInstance)) { bugInstanceSet.add(bugInstance); }
bugCollection.add(bugInstance);
	public void reportBug(BugInstance bugInstance) {		if (!bugInstanceSet.contains(bugInstance)) {			bugInstanceSet.add(bugInstance);		}	}