[hibernate-dev] Hibernate ORM 4.2.20.Final and 4.3.11.Final Released