[hibernate-dev] Fwd: Build failed in Jenkins: hibernate-orm-master-pgsql #1038