[hibernate-dev] JPA 2.1 API compiled with JDK 7!?