Update jetty-env.xml