[hibernate-dev] Bug/patch in Hibernate Envers