Thank you Henk for the clue. Posted http://ubuntuforums.org/showthread.php?p=10145882#post10145882
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community