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