Ported RcgVotingReceiptCounterUnitTest to 2013
Formatting (Jalopy)