Hi all,
Please consider
https://issues.jboss.org/browse/JBIDE-19112?focusedCommentId=13040174&page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#comment-13040174
Goal is to merge it on Monday, since it's a blocker for some pending
patches.