See http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4200175(Sorry for the duplicate post, but I know that this forum is monitored more actively by the developers than the Install/Config forum. I would have just opened a JIRA but I don't have update access for some reason...)
