public int compareTo(Object o) {
public int compareTo(BugAnnotation o) { if (!(o instanceof IntAnnotation)) return this.getClass().getName().compareTo(o.getClass().getName());
	public int compareTo(Object o) {		return value - ((IntAnnotation) o).value;	}