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