change web.xml for tomcat 7