[GitHub] zookeeper issue #712: Master FindBug issues fix

[tumativ]

Github user tumativ commented on the issue:

    https://github.com/apache/zookeeper/pull/712
  
    The build is green. It addressed the issues.


---