Remove non-ASCII escaping Java extension from XSLT #1238