[jbosstools-announce] JBoss Tools 3.1 CR1 is out!