RFR 8157200: jshell tool: Add /retain command to persist settings

[Jan Lahoda]

Hi Robert,

Overall, seems OK to me. But I have a question: there appears to be no 
way to un-retain stuff like modes or editor - should there be a way to 
un-retain those?

Thanks,
    Jan

On 20.5.2016 05:57, Robert Field wrote:
> Please review...
>
> Bugs:
>          8157200: jshell tool: Add /retain command to persist settings
>          https://bugs.openjdk.java.net/browse/JDK-8157200
>
>          8156910: jshell tool: crash when code with syntax error
> contains format specifier
>          https://bugs.openjdk.java.net/browse/JDK-8156910
>
> Webrev:
>          http://cr.openjdk.java.net/~rfield/8157200v0.webrev/
>
> Thanks,
> Robert
>