When XQuery is run from the command line without the
-wrap option, the output file is in whatever encoding
the Java VM chooses for character (typically
iso-8859-1) but is incorrectly labelled as UTF-8.
Circumvention: use the !encoding=iso-8859-1 option on
the command line so that the label in the XML
declaration matches the actual encoding of the file.