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

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

@@ -1202,11 +1202,11 @@
             }
             String hist = replayableHistory
                     .subList(first + 1, replayableHistory.size())
                     .stream()
                     .reduce( (a, b) -> a + RECORD_SEPARATOR + b)
-                    .get();
+                    .getWhenPresent();
             prefs.put(REPLAY_RESTORE_KEY, hist);
         }
         fluffmsg("jshell.msg.goodbye");
         return true;
     }