to get jshell to work with input correctly, you need to

`jshell --execution local TooHighTooLow.jsh`

for some obscure reason, this is needed