Thanks for the quick reply.
Here's a stupid question: How do I get the fix?
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community