[jboss-user] [Security & JAAS/JBoss] - role-name in web.xml <-> principals?