Max, thanks again for giving the community the opportunity to create these JIRA issues. Really appreciate it.
I created the issue here: https://issues.jboss.org/browse/JBIDE-8427
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community