if (hashCode == INVALID_HASH_CODE) hashCode = INVALID_HASH_CODE+1;
	public int hashCode() {		if (cachedHashCode == INVALID_HASH_CODE) {			int hashcode = type.hashCode() + priority;			Iterator<BugAnnotation> i = annotationIterator();			while (i.hasNext())				hashcode += i.next().hashCode();			cachedHashCode = hashcode;		}		return cachedHashCode;	}