[hibernate-commits] [hibernate/hibernate-orm] 1fdd0a: improve hibernate-core-jakarta build