added web.xml file: