a jetty-based web server