Revised/commented/TODO'd Election.java, ElgamalCiphertext.java, and MembershipProof.java