class ModificationFile implements AutoCloseable {

  public void abort() throws IOException {
    synchronized (this) {
      if (!modifications.isEmpty()) {
        writer.abort();
        modifications.remove(modifications.size() - 1);
      }
    }
  }

  public  ModificationFile(String filePath);

}