I did everything in chapter 8 of the getting started documentation and JBoss is still using the Hypersonic DBMS. It seems like there is something missing from the documentation for configuring jboss to use mysql. Is this the case?