See <https://analysis.apache.org/jenkins/job/directory-kerby/org.apache.kerby$kerb-server/71/changes>
- Build failed in Jenkins: directory-kerby » Kerby-kerb Server #70 gmcdonald
- Jenkins build is back to normal : directory-kerby » Kerby-k... gmcdonald
See <https://analysis.apache.org/jenkins/job/directory-kerby/org.apache.kerby$kerb-server/71/changes>