No problem, I figured this was the case, just wanted to get some feedback on it before I did so. I logged https://issues.jboss.org/browse/JBIDE-15250, thanks!
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community