src/Pure/Concurrent/isabelle_thread.scala

   def try_uninterruptible[A](body: => A): A =
     if (check_self) interrupt_handler(Interrupt_Handler.uninterruptible)(body)
     else body
 }
 
-class Isabelle_Thread private(main: Runnable, name: String, group: ThreadGroup,
-    pri: Int, daemon: Boolean, inherit_locals: Boolean)
-  extends Thread(group, null, name, 0L, inherit_locals) {
+class Isabelle_Thread private(
+  main: Runnable,
+  name: String,
+  group: ThreadGroup,
+  pri: Int,
+  daemon: Boolean,
+  inherit_locals: Boolean
+) extends Thread(group, null, name, 0L, inherit_locals) {
   thread =>
 
   thread.setPriority(pri)
   thread.setDaemon(daemon)