[hibernate-commits] [hibernate/hibernate-orm] 85cd74: improve hibernate-core-jakarta build