hg: jdk9/sandbox/langtools: 8164277: JShell API: Snippets are immutable and should be available for post-mortem analysis

[chris.hegarty at oracle.com]

Changeset: 1e9efa60c896
Author:    rfield
Date:      2016-08-22 08:18 -0700
URL:       http://hg.openjdk.java.net/jdk9/sandbox/langtools/rev/1e9efa60c896

8164277: JShell API: Snippets are immutable and should be available for post-mortem analysis
Reviewed-by: jlahoda

! src/jdk.jshell/share/classes/jdk/jshell/JShell.java
! test/jdk/jshell/JShellQueryTest.java
! test/jdk/jshell/JShellStateClosedTest.java
! test/jdk/jshell/KullaTesting.java