Although not a solution to your problem, there's this one another similar post http://community.jboss.org/message/549274#549274
Reply to this message by going to Community
Start a new discussion in JNDI and Naming at Community