Document known Hibernate bug