[jbosstools-dev] JBoss Tools 3.3.0.Beta3 is available