Sorry for the slow response.
There was a bug fixed in July that seems to be similar to what you're suggesting.
https://jira.jboss.org/jira/browse/JBIDE-2483
But I still question whether you're creating the right server. Are you creating a
server from the "JBoss" category? Or one from the category "JBoss a
division of Red Hat"?
You must create one via "JBoss, a Division of Red Hat"
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4169370#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...