public final void pushContextNodeList(DTMIterator nl){
  m_contextNodeLists.push(nl);
}

public final void pushContextNodeList ( DTMIterator nl ) { m_contextNodeLists . push ( nl ) ; }
set the current context node list .
