added display name to web.xml for display in tomcat manager