[jboss-user] [JNDI/Naming/Network] - Re: Migrating 4.2.3.GA to 5.1.0.GA - JNDI missing?