public int hashCode() {
    int result;
    result = myDomElement != null ? myDomElement.hashCode() : 0;
    result = 31 * result + mySeverity.hashCode();
    result = 31 * result + myMessage.hashCode();
    return result;
  }
public int hashCode()