[jboss-dev-forums] [Design of JBoss/Tomcat Integration] - Re: How do you set the CATALINA_HOME for Jboss's TOMCAT