Re: [hibernate-dev] Updated JDKs on ci.hibernate.org