It seems this may be the relevant bugzilla:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=354346
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community