[hibernate-issues] [Hibernate-JIRA] Updated: (HHH-4752) @AttributeOverride for column name should use no prefix for @ElementCollection (legacy uses "element")