DefaultJDOMExternalizer.writeExternal(this, element);
}
public boolean equals(final Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
<BUG>final HighlightSeverity that = (HighlightSeverity)o;
if (!myName.equals(that.myName)) return false;
return true;</BUG>
}
public int hashCode() {

DefaultJDOMExternalizer.writeExternal(this, element);
}
public boolean equals(final Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
final HighlightSeverity that = (HighlightSeverity)o;
return myName.equals(that.myName);
}
public int hashCode() {
