[jboss-user] [JNDI/Naming/Network] - Re: Same JNDI name in multiple EAR files: Mix up?