RFR(12): JDK-8215438: jshell tool: Ctrl-D causes EOF

[Jan Lahoda]

Hi,

I'd like to ask for a review of a patch for:
https://bugs.openjdk.java.net/browse/JDK-8215438

After the upgrade to JLine 3, EndOfFileException is thrown for Ctrl-D, 
so we need to catch it and return null from ConsoleIOContext.readLine, 
so the end-of-input is processed correctly by JShellTool.

Proposed patch:
http://cr.openjdk.java.net/~jlahoda/8215438/webrev.00/

Thanks,
     Jan