improved resolution of jetty-env.xml