regradeJudgments method
This mutates the tally. Used in score calculus.
Implementation
ProposalTally regradeJudgments(int fromGrade, int intoGrade) {
gradesTallies[intoGrade] += gradesTallies[fromGrade];
gradesTallies[fromGrade] = 0;
return this;
}