Phew - I wasn't crazy after all ;)
Thanks for coming back and verify that was indeed the case and others can benefit from this thread in the future.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community