Added a vm-specific jetty-env.xml for running on production