[jbosstools-announce] JBoss Tools 4.2 Beta3