Yes, they have. If you got these off CVS today, then it should be fixed. Will have a
look.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=3997746#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...