public override XPathNavigator Clone() { return new DocumentXPathNavigator(this); }
internal DocumentXPathNodeIterator_Empty(DocumentXPathNavigator nav) { _nav = nav.Clone(); }