472473474475476477478479480481482483484485
_setHistory(lines); } private void _setHistory(final List<String> lines) { MemoryHistory history = new MemoryHistory(); for (String line : lines) { history.add(line); } reader.setHistory(history); }
458459460461462463464465466467468469470471
465466467468469470471472473474475476477478
473474475476477478479480481482483484485486
461462463464465466467468469470471472473474
471472473474475476477478479480481482483484