8157395: jshell tool: allow the position of options on commands to be more flexible 8157393: jshell tool: change /set newmode ... to be consistent with /retain mode Reviewed-by: jlahoda
8156910: jshell tool: crash when code with syntax error contains format specifier Reviewed-by: jlahoda