Make the xsl-formatter-001 test independent of Java URI encoding

This request improves the xsl-formatter-001 test by making it independent of how Java decides to encode the file: URI. It doesn't change the semantics of the test in any significant way.