[hibernate-dev] Jenkins Updates