[jboss-user] [JBoss Portal] - Using alternative source for JBoss Portal authentication