Re: [jbosstools-dev] JBoss Tools - Tycho plugins release 0.23.1