jetty.host fix