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