8177076: jshell tool: allow non-zero /exit 8190383: JShell API: no way for the jshell tool to report exit status to provider Reviewed-by: jlahoda

These files are generated from docs/technotes/tools pages in the+
−
jdk/pubs subspace of the jdk workspace (adjacent to jdk/j2se).+
−