Jenkins build is back to normal : directory-kerby #75

[pctony]

See <https://analysis.apache.org/jenkins/job/directory-kerby/75/changes>