Changeset: 1aa79254b0a1 Author: jlahoda Date: 2016-05-11 13:58 +0200 URL: http://hg.openjdk.java.net/jdk9/sandbox/jdk/rev/1aa79254b0a1 Generalized EditingHistory cleanup ! src/jdk.internal.le/share/classes/jdk/internal/jline/extra/EditingHistory.java + test/jdk/internal/jline/extra/HistoryTest.java