JudgeStatisticsCollector: bugfix: deal with compile error.
SummaryFormatter: bugfix: deal with compile error.