private static @NotNull MyWriter newFileWriter(File file) throws IOException {
    return new MyWriter(new GZIPOutputStream(new BufferedOutputStream(new FileOutputStream(file))));
  }
private static @NotNull MyWriter newFileWriter(File file)