Max
I'm sure you'll have been one of the people watching the bug report so will know this anyway, but the answer was me getting wrong. I'd created a generic JBoss server rather than a JBoss Tools one (when creating a new server selecting from the JBoss branch rather than the "JBoss Community" one. Mea culpa. I thought I'd add this here in case anyone did the same thing and found this discussion when searching for an answer.
Thanks again.