Re: [hibernate-dev] Build failed in Jenkins: hibernate-core-master #320