hg: jdk9/dev/langtools: 8173807: JShell: control characters should be escaped in String values

[robert.field at oracle.com]

Changeset: e03fdd8cad0c
Author:    rfield
Date:      2017-02-06 09:25 -0800
URL:       http://hg.openjdk.java.net/jdk9/dev/langtools/rev/e03fdd8cad0c

8173807: JShell: control characters should be escaped in String values
Reviewed-by: jlahoda

! src/jdk.jshell/share/classes/jdk/jshell/execution/DirectExecutionControl.java
! test/jdk/jshell/SimpleRegressionTest.java