src/jdk.jshell/share/classes/jdk/internal/jshell/debug/InternalDebugControl.java

@@ -62,10 +62,15 @@
      * Dependency debugging.
      */
     public static final int DBG_DEP = 0b0001000;
 
     /**
+     * Execution control channel debugging.
+     */
+    public static final int DBG_EC  = 0b0010000;
+
+    /**
      * Event debugging.
      */
     public static final int DBG_EVNT = 0b0010000;
 
     private static Map<JShell, Integer> debugMap = null;

@@ -123,11 +128,11 @@
      * @param state the current JShell instance
      * @param err the {@code PrintStream} to report on
      * @param ex the fatal Exception
      * @param where additional context
      */
-    public static void debug(JShell state, PrintStream err, Exception ex, String where) {
+    public static void debug(JShell state, PrintStream err, Throwable ex, String where) {
         if (isDebugEnabled(state, 0xFFFFFFFF)) {
             err.printf("Fatal error: %s: %s\n", where, ex.getMessage());
             ex.printStackTrace(err);
         }
     }