[jbosstools-commits] List changes: JBoss IDE becoming JBoss Tools