[hibernate-dev] Jenkins updates