--- old/src/jdk.jshell/share/classes/jdk/internal/jshell/debug/InternalDebugControl.java	2016-07-12 22:46:50.104815641 -0700
+++ new/src/jdk.jshell/share/classes/jdk/internal/jshell/debug/InternalDebugControl.java	2016-07-12 22:46:50.016813377 -0700
@@ -64,6 +64,11 @@
     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;
@@ -125,7 +130,7 @@
      * @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);