Thank you Alessio !!
The updated annotation library does the trick. Authentication works correctly now.
The maven dependency I now use for JBoss 5.1.0.GA is:
groupId: org.jboss.ejb3
artifactId: jboss-ejb3-ext-api
version: 1.0.0 (same version as indicated in JBoss' jar-versions.xml)