[hibernate-dev] An update on Jenkins slaves