for(int i = vn.context[0]+1;i<vn.context.length;i++){ vn.context[i]=-1; }
public void selectElementNS_P(String ns_URL, String ln){	depth = vn.getCurrentDepth();	iter_type = PRECEDING_NS;    ft = true;    localName = ln;    URL = ns_URL;    contextCopy = (int[])vn.context.clone();    contextCopy[0]=vn.rootIndex;}