Updating jetty-env.xml for PT docs