I created an issue in our JIRA and we'll try to solve that issue:
https://issues.jboss.org/browse/JBIDE-9783
If you have anything to add in sake of issue documentation, please feel free to do so :)
Cheers
André
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community