jetty: remove dead code