[jboss-user] [JBoss Tools] New message: "JBoss Tools 3.1 CR2 is out - Now with CDI support!"