langtools/src/jdk.jshell/share/classes/jdk/jshell/execution/Util.java
changeset 41941 a935ac3f5274
parent 41628 664e7664343d
child 42969 a48d4f74d322
--- 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();
         }
     }