When you created your server, you created a "JBoss" server rather than one under the "JBoss Inc" folder.
The JBoss one is provided by webtools and is not supported. The JBoss Inc one is the one we provide.
Thank you Rob,
At first I was not seeing the "JBoss Inc" folder. I reinstalled the IDE, and now I was able to use the JBoss Inc one, and got everything functioning OK. That solved our problems (at least this one ;-)).