modify web.xml to run with Jetty instead of run Jetty run