master
8172154: jshell tool: make all IMPORTS.jsh generated at build time
8247403: JShell: No custom input (e.g. from GUI) possible with JavaShellToolBuilder
8177076: jshell tool: allow non-zero /exit 8190383: JShell API: no way for the jshell tool to report exit status to provider