The instructions for bundling Tomcat with a build of the jBoss source require the setting of a tomcat.server.root property, apparently to specify the location of Tomcat? So does the 3.2.1 jBoss source include a revision of Tomcat, or does it just get Tomcat from the tomcat.server.root?