Bug created: https://jira.jboss.org/jira/browse/JBIDE-6249
The "Server Runtime" workound does seem to work, thanks!
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community