minor change in web.xml, changing the display name of the project