tuned;

--- a/src/Pure/PIDE/byte_message.scala	Tue Jul 09 12:32:33 2024 +0200
+++ b/src/Pure/PIDE/byte_message.scala	Tue Jul 09 12:41:05 2024 +0200
@@ -44,7 +44,7 @@
           builder += c.toByte
         }
       }
-    if (c == -1 && line.size == 0) None else Some(line.trim_line)
+    if (c == -1 && line.is_empty) None else Some(line.trim_line)
   }