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. 
Should this one be getting the server context via the `server-id` argument rather than ignoring the argument and using `:default`?