Jan Lahoda c526b4b225 8215438: jshell tool: Ctrl-D causes EOF
Properly handling EndOfFileException so that jshell can be closed with Ctrl-D.

Reviewed-by: rfield
2019-01-08 16:31:27 +01:00
..
2018-10-02 22:36:08 -07:00