[jbosstools-dev] JBoss Tools 4.1.0.1.Final is available