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