src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Sun Apr 05 13:24:12 2020 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sun Apr 05 21:05:08 2020 +0200
@@ -287,7 +287,7 @@
         proc.getInputStream.close
         proc.getErrorStream.close
         proc.destroy
-        Thread.interrupted
+        Exn.Interrupt.dispose()
       }
     (output, rc)
   }