if(m_global_rtfdtm!=null) m_dtmManager.release(m_global_rtfdtm,true); m_global_rtfdtm=null;
  public void reset()  {  	// These couldn't be disposed of earlier (see comments in release()); zap them now.  	if(m_rtfdtm_stack!=null)  		 for (java.util.Enumeration e = m_rtfdtm_stack.elements() ; e.hasMoreElements() ;)   		 	m_dtmManager.release((DTM)e.nextElement(), true);    m_rtfdtm_stack=null; // drop our references too    m_which_rtfdtm=-1;  	    m_dtmManager = DTMManager.newInstance(                   org.apache.xpath.objects.XMLStringFactoryImpl.getFactory());  }