Changed content of web.xml