--- /dev/null	2015-04-26 06:51:08.003313989 -0700
+++ new/jdk/src/jdk.jline/share/classes/jdk/internal/jline/console/history/PersistentHistory.java	2015-06-18 03:05:24.069949033 -0700
@@ -0,0 +1,35 @@
+/*
+ * Copyright (c) 2002-2012, the original author or authors.
+ *
+ * This software is distributable under the BSD license. See the terms of the
+ * BSD license in the documentation provided with this software.
+ *
+ * http://www.opensource.org/licenses/bsd-license.php
+ */
+package jline.console.history;
+
+import java.io.IOException;
+
+/**
+ * Persistent {@link History}.
+ *
+ * @author <a href="mailto:jason@planet57.com">Jason Dillon</a>
+ * @since 2.3
+ */
+public interface PersistentHistory
+    extends History
+{
+    /**
+     * Flush all items to persistent storage.
+     *
+     * @throws IOException  Flush failed
+     */
+    void flush() throws IOException;
+
+    /**
+     * Purge persistent storage and {@link #clear}.
+     *
+     * @throws IOException  Purge failed
+     */
+    void purge() throws IOException;
+}
\ No newline at end of file