code:   void setExtensionsTable(StylesheetRoot sroot)
         throws javax.xml.transform.TransformerException
    {
      try
      {
        if (sroot.getExtensions() != null)
          m_extensionsTable = new ExtensionsTable(sroot);
      }
      catch (javax.xml.transform.TransformerException te)
      {te.printStackTrace();}
    }
    
    //== Implementation of the XPath ExtensionsProvider interface.
    
  