[jbosstools-dev] JBoss Tools maintenance branch - once tagged for 4.1.0.Final - is open for 4.1.x bug fixes / No new 4.x releases scheduled yet