[jboss-user] [JBoss Portal Users] - Bug handling user names with Kerberos