[jboss-user] [Advanced Documentation] - Re: batch file for running a build.xml in JBoss