updated jetty-env.xml