Changing Hibernate's proprietary API on JPA