[hibernate-issues] [JIRA] (HHH-12911) Removing unused field from org.hibernate.mapping.Collection