Hi Max,
issue is created: https://issues.jboss.org/browse/JBIDE-14120
Good luck and kind regards
Thomas
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community