[jbosstools-dev] 3.1.x branch is open for business again