public void reset() { synchronized (lock) { if (current_context != null) { current_context.destroy(new Exception("Reset")); } save_to.delete(); } }