Can you please report a new issue to https://issues.jboss.org/browse/JBIDE?
This is summer time, a lot of guys are on vacations so a little lag in feedback is expected.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community