hg: jdk9/dev/langtools: 8173845: JShell API: not patch compatible

[robert.field at oracle.com]

Changeset: c9b0b57e3bd5
Author:    rfield
Date:      2017-02-08 10:43 -0800
URL:       http://hg.openjdk.java.net/jdk9/dev/langtools/rev/c9b0b57e3bd5

8173845: JShell API: not patch compatible
Reviewed-by: jlahoda

! src/jdk.jshell/share/classes/jdk/jshell/JShell.java
! src/jdk.jshell/share/classes/jdk/jshell/MemoryFileManager.java
! src/jdk.jshell/share/classes/jdk/jshell/execution/JdiDefaultExecutionControl.java
! src/jdk.jshell/share/classes/jdk/jshell/execution/JdiInitiator.java
+ test/jdk/jshell/FileManagerTest.java
! test/jdk/jshell/MyExecutionControl.java