[jboss-user] [JBoss Portal] - Sharing portal security realm with a servlet