public DocumentXPathNavigator(DocumentXPathNavigator other) { document = other.document; source = other.source; attributeIndex = other.attributeIndex; namespaceParent = other.namespaceParent; }