SwitchYard: Use Jetty server as auxiliary http server