Changeset: 544eda2e9f08 Author: ntv Date: 2016-06-10 11:11 +0000 URL: http://hg.openjdk.java.net/jdk9/dev/langtools/rev/544eda2e9f08 8155581: jshell tool: replace use of Option.get() Reviewed-by: rfield ! src/jdk.jshell/share/classes/jdk/internal/jshell/tool/JShellTool.java