[jboss-user] [JNDI/Naming/Network] - How to use JNDI names?