public final double getValue(ExtendedStatistic statistic) throws ExtendedStatisticNotFoundException {
int index = getIndex(statistic);
if (index != ExtendedStatistic.NO_INDEX) {
return stats[index];
}
throw new ExtendedStatisticNotFoundException(statistic + " not found in " + this);
}