private static void writeLine(@NotNull Writer writer, @NotNull String line, char prefix) throws IOException {
    writer.write(prefix);
    writer.write(line);
  }
private static void writeLine(@NotNull Writer writer, @NotNull String line, char prefix)