232233234235236237238239240
if (configuration.isStatisticsServer()) { statistics = new SimpleStatistics(); statisticsInterval = configuration.getStatisticsInterval(); } else { statistics = new DefaultStatistics(); statisticsInterval = -1; } }