I think the developers would appreciate a jira. They can always close it if they feel
it's not a bug. (Though in this case, I'm fairly certain it is).
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4087901#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...