clean up some HTTP/jetty-related stuff