[hibernate-dev] Ensuring only Java 6 API is used when compiling with JDK 7