A tool to merge WSDL files