master
8172154: jshell tool: make all IMPORTS.jsh generated at build time
8247403: JShell: No custom input (e.g. from GUI) possible with JavaShellToolBuilder
8249205: Remove unnecessary trademark symbols