internal DocumentXPathNodeIterator_Empty(DocumentXPathNodeIterator_Empty other) { _nav = other._nav.Clone(); }
internal DocumentXPathNodeIterator_Empty(DocumentXPathNodeIterator_Empty other) { this.nav = other.nav.Clone(); }