Full working Java code examples of extension functions for Saxon 9.5 HE