--- a/langtools/src/jdk.jshell/share/classes/jdk/jshell/execution/Util.java Fri Nov 04 14:47:25 2016 -0700
+++ b/langtools/src/jdk.jshell/share/classes/jdk/jshell/execution/Util.java Sun Nov 06 22:50:46 2016 -0800
@@ -239,9 +239,9 @@
* @param unbiddenExitHandler the handler, which will accept the exit
* information
*/
- public static void detectJDIExitEvent(VirtualMachine vm, Consumer<String> unbiddenExitHandler) {
+ public static void detectJdiExitEvent(VirtualMachine vm, Consumer<String> unbiddenExitHandler) {
if (vm.canBeModified()) {
- new JDIEventHandler(vm, unbiddenExitHandler).start();
+ new JdiEventHandler(vm, unbiddenExitHandler).start();
}
}