By the way, how can I set this topic as a "question" ? I cannot find the appropriate button/link to mark it as a question.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community