I got confused because on the Web server I saw two downloads: "JBossWeb" and "Tomcat". I didn't try the first, I just assumed this citation was correct.
Look at: http://www.jboss.org/downloads.jsp
Again, this article lists products but does not go deeply enough into each product.
© 2015, O’Reilly Media, Inc.
All trademarks and registered trademarks appearing on oreilly.com are the property of their respective owners.