john - thanks for finding what looks like a bug.
Could you report it in https://jira.jboss.org/jira/browse/JBIDE with the details and perfectly a minimal code example we could verify against ?
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community