update as7 and tomcat specific web.xml