Kareem: Updating in web.xml