Github user sl4mmy commented on the issue:
https://github.com/apache/zookeeper/pull/581
The Jenkins failure looks like an internal error in Jenkins itself:
https://builds.apache.org/job/PreCommit-ZOOKEEPER-github-pr-build/1987/consoleText---
