Re: [hibernate-dev] Hibernate 4.x JDK support