[hibernate-commits] [hibernate/hibernate-orm] 6753e7: Switch JDK to 25 also in nightly Jenkinsfile