The actual issue of interest is this: https://issues.jboss.org/browse/JBIDE-1354
Just got fixed :-)
Karsten
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community