Arjan,
I've heard from a few users having similar issues - *anything* you can tell us on how to reproduce this would be appreciated!
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community