No big deal, but the build.properties in the wiki contains:
jboss.home = /Users/turin/work/local/jboss/jboss-4.0.5.GA
Yes, on mine. This example is not ready for public consumption.