[hibernate-announce] Hibernate ORM 4.2.5.Final released!