changes in web.xml and servlets