[jbosstools-cat] JBoss Tools 4.2.0 Beta3 is out, please respond to survey!