docs: public static void setStatistics() {
      // decrease to INFO if it was higher
      if(LOGGER_GLOBAL_TOP.getLevel() == null || LOGGER_GLOBAL_TOP.getLevel().intValue() > Level.STATISTICS.intValue()) {
        LOGGER_GLOBAL_TOP.setLevel(Level.STATISTICS);
      }
      if(LOGGER_ELKI_TOP.getLevel() == null || LOGGER_ELKI_TOP.getLevel().intValue() > Level.STATISTICS.intValue()) {
        LOGGER_ELKI_TOP.setLevel(Level.STATISTICS);
      }
      if(LOGGER_TIME_TOP.getLevel() == null || LOGGER_TIME_TOP.getLevel().intValue() > Level.STATISTICS.intValue()) {
        LOGGER_TIME_TOP.setLevel(Level.STATISTICS);
      }
    }