RFR 8173807: JShell: control characters should be escaped in String values

[Jan Lahoda]

Seems OK.

Jan

On 4.2.2017 07:45, Robert Field wrote:
> Please review...
>
> Bug:
>
>      https://bugs.openjdk.java.net/browse/JDK-8173807
>
> Webrev:
>
>      http://cr.openjdk.java.net/~rfield/8173807v0.webrev/
>
> Thanks,
> Robert
>
> :z
>