Thank you. Opened an issue in Jira as you suggested, https://issues.jboss.org/browse/JBIDE-13438
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community