return myVal - highlightSeverity.myVal;
<BUG>}
public void readExternal(Element element) throws InvalidDataException {</BUG>
DefaultJDOMExternalizer.readExternal(this, element);
<BUG>}
public void writeExternal(final Element element) throws WriteExternalException {</BUG>
DefaultJDOMExternalizer.writeExternal(this, element);
}
public boolean equals(final Object o) {
if (this == o) return true;

return myVal - highlightSeverity.myVal;
}
@Override
public void readExternal(Element element) throws InvalidDataException {
DefaultJDOMExternalizer.readExternal(this, element);
}
@Override
public void writeExternal(final Element element) throws WriteExternalException {
DefaultJDOMExternalizer.writeExternal(this, element);
}
public boolean equals(final Object o) {
if (this == o) return true;
