public void reset() {
    synchronized (lock) {
      if (current_context != null) {

        current_context.destroy(new Exception("Reset"));
      }

      save_to.delete();
    }
  }