Henk, just to let you know that our QE found https://issues.jboss.org/browse/JBIDE-8029 when verifying what you saw.
So it works for Windows but not for Mac.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community