Hey, can you open a jira for this? :)
https://issues.jboss.org/browse/JBIDE
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community