docs: public void saveStatistics(String file) throws IOException
      {
          if (file != null && !file.trim().isEmpty()) {
              FileWriter fw = new FileWriter(file);
              fw.write(getStatistics().toRawString(','));
              fw.flush();
              fw.close();
          }
      }