datasource jndi name change. (This config file should not be needed with
jboss 6 upgrade)