Indeed ... JBoss helpdesk is already contacted multiple times, but they don't seem to
get it fixed for one reason or another ... but don't worry - we keep pinging them.
View the original post :
http://www.jboss.org/index.html?module=bb&op=viewtopic&p=4248329#...
Reply to the post :
http://www.jboss.org/index.html?module=bb&op=posting&mode=reply&a...