[jboss-user] [JBoss Getting Started Documentation] - Re: how to change the jboss schema name