src/Pure/System/scala.ML

           (case (Bytes.content tag, rest) of
             ("0", []) => Exn.Exn Null
           | ("1", _) => Exn.Res rest
           | ("2", [msg]) => Exn.Exn (ERROR (Bytes.content msg))
           | ("3", [msg]) => Exn.Exn (Fail (Bytes.content msg))
-          | ("4", []) => Exn.interrupt_exn
+          | ("4", []) => Isabelle_Thread.interrupt_exn
           | _ => raise Fail "Malformed Scala.result");
       in Synchronized.change results (Symtab.map_entry (Bytes.content id) (K result)) end);
 
 in
 

         Synchronized.guarded_access results
           (fn tab =>
             (case Symtab.lookup tab id of
               SOME (Exn.Exn Match) => NONE
             | SOME result => SOME (result, Symtab.delete id tab)
-            | NONE => SOME (Exn.interrupt_exn, tab)));
+            | NONE => SOME (Isabelle_Thread.interrupt_exn, tab)));
     in
       invoke ();
       Exn.release (restore_attributes await_result ())
         handle exn => (if Exn.is_interrupt exn then cancel () else (); Exn.reraise exn)
     end) ();