[hibernate-dev] Jenkins upgrade