Testing SaxonCE