[jbosstools-dev] JBoss Tools 4.15.0.AM1 is now available