Update VoteCountingKarel.java