[jboss-user] [JBoss Portal] - Extending the org.jboss.portal.identity.User class and jbp_u