[jbosstools-cat] JBoss Tools 4.2.3.Final is out