OK, so we have to provide it ourselves for the time being. Thanks for clearing that up.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community