The best place to submit bugs is sourceforge.net/projects/jboss . I'll fix this and see what I can do about 4.0. Thanks.
4.0 is not really consistent with 3.2 yet. Looks like a lot of 3.2 changes weren't put in 4.0 but I am not sure what to do. The bug isn't in 4.0, probably because the code hasn't been merged.
I fixed 3.2, so build off of CVS or wait for 3.2.6 release.