What command did you use to get JBoss from CVS?
Did you make sure that you got BRANCH_4_0 ?
That was the problem! Thanks! I couldn't copy the commandline in the doc because I retrieved it from CVS using Eclipse, and I had to jump through some hoops to figure out how to get Eclipse to get the branch rather than HEAD.