Re: [jboss-user] [JBoss Tools] - JBoss Tools 3.1 and Eclipse 3.5