version for org.jboss.tools.ui.bot.ext