[hibernate-commits] [hibernate/hibernate-orm] 0b01d4: second phase of Javadoc refresh for settings