RFR 8196133: JShell crashes when attempting to use bad source file in class path

[Jan Lahoda]

Looks OK to me.

Jan

On 7.2.2018 07:48, Robert Field wrote:
> Bug:
>
>      https://bugs.openjdk.java.net/browse/JDK-8196133
>
> Webrev:
>
>      http://cr.openjdk.java.net/~rfield/8196133v0.webrev/
>
>
> Thanks,
>
> Robert
>
>