[jboss-user] [Installation, Configuration & DEPLOYMENT] - JVM or JBoss cache of DNS? trying to configure mysql-ds.xml