Hi all, please have a look at http://www.jboss.org/index.html?module=bb&op=viewtopic&t=161957, I hope the developers forum is a better place for this question.
Cheers! Nils
Nope, the user forum was better for this. Your own conclusion and the response by Sebastian was spot on.