Looks like a bug. Could you create an issue in https://issues.jboss.org/browse/JBIDE ? Thanks.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community