[jbosstools-dev] JBoss Tools 4.12.0.Final is now available