web.xml fix for jetty