Fix bug in some currently unused procedures of StatSummary.java