No problem, happy to help.
And sorry I forgot to post the link to the issue after creating it. Glad you picked it up :)
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community