[jboss-user] [JNDI and Naming] - Provide one datasource with two different JNDI names