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