hg: kulla/dev/langtools: Review comment: improving synchronization of JShell.stop()

[jan.lahoda at oracle.com]

Changeset: 9fd4ba1a78d3
Author:    jlahoda
Date:      2015-09-11 10:19 +0200
URL:       http://hg.openjdk.java.net/kulla/dev/langtools/rev/9fd4ba1a78d3

Review comment: improving synchronization of JShell.stop()

! src/jdk.jshell/share/classes/jdk/jshell/ExecutionControl.java
! src/jdk.jshell/share/classes/jdk/jshell/JShell.java
! test/jdk/jshell/StopExecutionTest.java