Re: [hibernate-dev] Patch to ORM 4.2