Since I got no answer I am assumeing that it is a bug and so I filed a JIRA issue for it: https://jira.jboss.org/browse/JBIDE-6612
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community