A WSDL fragment for a JAX-RPC Web service.