Thank you for the quick response - I've raised a bug (hopefully correctly - not done one before):
https://issues.jboss.org/browse/JBIDE-12001
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community