fix compilation error following Hibernate upgrade