src/Tools/jEdit/src/scala_console.scala

             running.change(_ => Some(Thread.currentThread()))
             interp.interpret(command)
           }
           finally {
             running.change(_ => None)
-            Thread.interrupted
+            Exn.Interrupt.dispose()
           }
           GUI_Thread.later {
             if (err != null) err.commandDone()
             out.commandDone()
           }