@Override
  public int hashCode() {
    ElementStub stub = (ElementStub)getStub();
    if (stub != null) {
      return stub.getName().hashCode() + stub.getStubId();
    }
    final XmlElement element = getXmlElement();
    return element == null ? super.hashCode() : element.hashCode();
  }
@Override
  public int hashCode()