public void popCurrentMatched(){
  m_currentMatchTemplates.pop();
  m_currentMatchedNodes.pop();
}

public void popCurrentMatched ( ) { m_currentMatchTemplates . pop ( ) ; m_currentMatchedNodes . pop ( ) ; }
pop the elements that were pushed via pushpaircurrentmatched .
