Debug.println("We got a bug!: " + b.getBug().getMessage());
		public void reportBug(BugInstance bugInstance) {			BugLeafNode b = new BugLeafNode(bugInstance);			Debug.println("We got a bug!: " + b.getBug().getMessage());			bugs.add(b);		}