diff -r 8fe30123aaab -r d2711c9ffa51 src/Pure/Concurrent/isabelle_thread.scala
--- a/src/Pure/Concurrent/isabelle_thread.scala	Tue Feb 28 11:20:01 2023 +0000
+++ b/src/Pure/Concurrent/isabelle_thread.scala	Tue Feb 28 14:13:50 2023 +0100
@@ -124,9 +124,14 @@
     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)