A lightweight WSDL parser