< prev index next >

src/jdk.jshell/share/classes/jdk/internal/jshell/tool/JShellTool.java

Print this page
rev 3356 : [mq]: 8140281-deprecation-optional.get

*** 1202,1212 **** } String hist = replayableHistory .subList(first + 1, replayableHistory.size()) .stream() .reduce( (a, b) -> a + RECORD_SEPARATOR + b) ! .get(); prefs.put(REPLAY_RESTORE_KEY, hist); } fluffmsg("jshell.msg.goodbye"); return true; } --- 1202,1212 ---- } String hist = replayableHistory .subList(first + 1, replayableHistory.size()) .stream() .reduce( (a, b) -> a + RECORD_SEPARATOR + b) ! .getWhenPresent(); prefs.put(REPLAY_RESTORE_KEY, hist); } fluffmsg("jshell.msg.goodbye"); return true; }
< prev index next >