jdk/make/launcher/Launcher-jdk.jshell.gmk
2016-12-20 rfield 8170194: jshell tool (jdk repo): launch tool from JShellToolProvider
2016-11-10 ksrini 8169001: Remove launcher's built-in ergonomics
2015-11-05 ihse 8141444: Clean up building of JDK launchers
2015-10-19 jlahoda 8134254: JShell API/tool: REPL for Java into JDK9
less more (0) tip