Github user nkalmar commented on the issue:
https://github.com/apache/zookeeper/pull/581
Looks to me jenkins was simply overloaded.
You can re-run the jenkins job by doing an empty --amend commit and pushing
it to your PR branch. ---
