multiple JNDI names on a datasource