[jboss-user] [JNDI and Naming] - Re: EJB 3.1 Global JNDI names