Jerry, this does sound like a bug - please open one in https://jira.jboss.org/jira/browse/JBIDE
Thank you,
Max
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community