Generated WSDL file