fixes jetty9