Or even better, submit a patch. ;)
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community