fix jetty config