Updating jetty-env.xml