if (annotation == null) throw new IllegalStateException("Missing BugAnnotation!");
	private void add(BugAnnotation annotation) {		// This object is being modified, so the cached hashcode		// must be invalidated		cachedHashCode = INVALID_HASH_CODE;		annotationList.add(annotation);	}