web.xml modified