[yast-commit] Build failed in Jenkins: yast-kerberos-server-HEAD #12