Re: [hibernate-dev] did hibernate.org crash?