hg: jdk/submit12: 8215438: jshell tool: Ctrl-D causes EOF

[jan.lahoda at oracle.com]

Changeset: 299fe76c25c7
Author:    jlahoda
Date:      2019-01-08 16:31 +0100
URL:       http://hg.openjdk.java.net/jdk/submit12/rev/299fe76c25c7

8215438: jshell tool: Ctrl-D causes EOF
Summary: Properly handling EndOfFileException so that jshell can be closed with Ctrl-D.
Reviewed-by: rfield

! src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ConsoleIOContext.java
! test/langtools/jdk/jshell/ReplToolTesting.java
! test/langtools/jdk/jshell/ToolBasicTest.java