[jboss-user] [EJB/JBoss] - Re: How To Modify Global JNDI Name