Hi Koen, thanks for your update I will give the fix commented in the issue a try and let you know!
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community