[hibernate-commits] [hibernate/hibernate-core] 35c9b5: HHH-5715 revert to default hibernate.properteis