Grid,
Jiri filed a JIRA reporting this. Take a look at https://issues.jboss.org/browse/JBIDE-8258. You can assign it to yourself if you know how to solve it.
Cheers,
Koen
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community