dispatcher-servlet.xml and web.xml files