Use hosted WSDL now (bug 914263)

Just a whitespace fix since the last WSDL was hand-edited.
This will avoid confusion in future runs of refresh_wsdl.