jetty server config update