[jboss-jira] [JBoss JIRA] (WFCORE-1542) JDBC_PING can use a JNDI database connection because it is closed on shutdown