Ok, now there's a jira for it:
https://issues.jboss.org/browse/JBIDE-11792
Thanks for replying!
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community