I too saw the same issue. Anybody else?
You may have downloaded a faulty version of the jbossj2ee-src.zip file from here:
Try downloading the file from here instead:
http://labs.jboss.com/portal/jbossas/docs -> "JBoss AS Getting Started Guide 4.0.4" -> Download.
You'll currently get a startguide40.zip from that link, which contains a different version jbossj2ee-src.zip.