changed a reference to jetty-env.xml