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