Безопасность JBoss AS 7: как получить текущее зарегистрированное имя пользователя?

Я нахожусь в среде Jboss AS 7. Путь моего приложения /admIn/* защищен ограничением безопасности, которое требует проверки подлинности на основе формы. Домен безопасности поддерживается базой данных.

Все в порядке, но теперь я хочу отображать «доброе утро» в заголовке каждой страницы. Я ищу какую-то функцию getLoggedUsername() или getPrincipal(), но не могу ее найти.

Пожалуйста, опубликуйте ссылку на официальную документацию, если таковая имеется. Спасибо.