if (bugCollection == null) { bugCollection = new SortedBugCollection(); }
	public SortedBugCollection getBugCollection() {		if (bugCollection == null) {			bugCollection = new SortedBugCollection();		}		return bugCollection;	}