[jboss-user] [JBoss Tools] New message: "Tools 3.1 CR1 generation issue"