Fixes to comments in Modulus.java, fixes to PIN Prompt issues and some other VoteBox issues