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