RFR 8139837: JShell API: make a common JShellException

[Jan Lahoda]

Seems fine to me.

Jan

On 22.4.2016 06:37, Robert Field wrote:
> Bug:
>      https://bugs.openjdk.java.net/browse/JDK-8139837
>
> Webrev:
>      http://cr.openjdk.java.net/~rfield/8139837.webrev/
>
> Thanks,
> Robert
>