[hibernate-dev] did hibernate.org crash?