[hibernate-commits] [hibernate/hibernate-orm] 75f3ad: fix type in jdoc