wrong display name in web.xml