[jbosstools-dev] JBoss Tools 4.3.1.Beta1 is now available