public XPathFunctionResolver getXPathFunctionResolver() {
   if (xpathFunctionLibrary != null) {
     return xpathFunctionLibrary.getXPathFunctionResolver();
   } else {
     return null;
   }
 }
 public void setXPathFunctionResolver(XPathFunctionResolver xPathFunctionResolver) {
   if (xpathFunctionLibrary != null) {
     xpathFunctionLibrary.setXPathFunctionResolver(xPathFunctionResolver);
   }
   // otherwise, external functions are disabled for security reasons
 }