Saxon XSLT and XQuery Processor

When Saxon is called from Java, supplying a Writer to
receive the output, and the Writer is initialized with
encoding "utf-8", Saxon outputs an XML declaration at
the start of the file (even if none is requested)
specifying encoding="UTF8".

This happens because Saxon asks the Writer what the
encoding is, and writes this value to the output
document header. If the value is anything other than
utf-8, XML requires that the XML declaration be
present. However, the Java VM informs Saxon that the
encoding is "UTF8", even though the user
requested "UTF-8".

Source code fixed.