I have created https://jira.jboss.org/browse/JBIDE-7368 for this issue. Will fix it ASAP.
Thank you for your feedback.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community