Github user nkalmar commented on the issue:
https://github.com/apache/zookeeper/pull/519
This is the updated PR for the Clover code coverage. Previous PR for branch
3.4 and 3.5 were not updated, so I cherry picked the complete change from
master. ---
