RFR 8177847: jshell tool: retain delete of non-retained mode does not locally delete

[Jan Lahoda]

Seems OK.

Jan

On 26.6.2017 01:02, Robert Field wrote:
> Please review for JDK 10 --
>
> Bug:
>
>      https://bugs.openjdk.java.net/browse/JDK-8177847
>
> Webrev:
>
>      http://cr.openjdk.java.net/~rfield/8177847v0.webrev/
>
> Thanks,
> Robert
>