[jbossseam-issues] [JBoss JIRA] Closed: (JBSEAM-1759) role-name NONE in web.xml is wrong