I moved the bug over from JBNAME-40 to JBAS-7879.
Reply to this message by going to Community
Start a new discussion in JNDI and Naming at Community