[jboss-jira] [JBoss JIRA] (AS7-2835) standard configs set the pool-name to something other than a jndi-name for DS