Comment changes and minor edits to VoteProof.java and Ballot.java