update web.xml to match the jetty server