Hi Dirk,
Sounds like a bug - could you open a jira at https://jira.jboss.org/jira/browse/JBIDE and create a project we could reproduce the problem on so we are sure we are looking at the same issue/problem ?
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community