If a namespace declaration in a query prolog attempts to bind a prefix other than "xml" to the XML namespace URI, Saxon fails to detect the error.
Test case namespaceDecl-4 in XQTS 0.8.4
Source code fixed.