Java XSpec/Saxon-EXSLT格式日期

我正在使用XSpec和SaxonEE9测试一些XSLT1.0转换。除以下EXSLT扩展外，它们在大多数情况下工作正常：

<xsl:value-of select="exsldt:format-date(value[@name='outputFileGenerated'], 'dd/MM/yyyy hh:mm:ss')" />

我得到一个错误，说：

{}格式日期。没有撒克逊人 具有本地名称格式日期的扩展函数

---

我理解这意味着Saxon没有从EXSLT实现格式化日期方法。有没有办法在不改变我的转换的情况下解决这个问题？

唯一的解决办法是自己用Java或XSLT实现这个函数。请注意，如果使用xsl:function在XSLT中编写实现，则可以使用属性override=no指示如果存在同名的外部函数，则应优先使用该函数