http://www.jboss.org/community/docs/DOC-12656 discusses the class WebAuthentication. However, I cannot find it in JBossAS 5.0.0.GA. Any hint is appreciated.
Got it: there is a classpath issue with JBossTools https://jira.jboss.org/jira/browse/JBIDE-3646