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