Patched wsdl.js