Kareem: updating web.xml