[jboss-user] [JNDI and Naming] - What is the exact correct way to make JBoss datasource JNDI