[hibernate-announce] Hibernate ORM 4.2.0.CR2 released