Jetty9 API Changes

These are the changes to the Jetty9 Webservice API that are being made to make this service consistent with the API of the web-routing service. 
If you omit the `:default` here, we'd still get the same behavior, right -- since the `get-registered-endpoints` which accepts one argument would have `:default` subbed in as the second argument, right?