}
public HighlightSeverity() {
}
public String toString() {
return myName;
<BUG>}
public int compareTo(final HighlightSeverity highlightSeverity) {</BUG>
return myVal - highlightSeverity.myVal;
<BUG>}
public void readExternal(Element element) throws InvalidDataException {</BUG>
DefaultJDOMExternalizer.readExternal(this, element);

}
public HighlightSeverity() {
}
public String toString() {
return myName;
}
@Override
public int compareTo(final HighlightSeverity highlightSeverity) {
return myVal - highlightSeverity.myVal;
}
@Override
public void readExternal(Element element) throws InvalidDataException {
