[jboss-user] [Security & JAAS/JBoss] - Re: how to get the current logged-in user?