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