Correct version of Hibernate Core