proper protocol messages (amending 7a1f9e571046);

--- a/src/Pure/Tools/debugger.scala	Fri Nov 01 19:20:52 2024 +0100
+++ b/src/Pure/Tools/debugger.scala	Sat Nov 02 14:56:13 2024 +0100
@@ -189,7 +189,7 @@
   def set_break(b: Boolean): Unit = {
     state.change { st =>
       val st1 = st.set_break(b)
-      session.protocol_command("Debugger.break", XML.Encode.bool(b))
+      session.protocol_command("Debugger.break", XML.string(Value.Boolean(b)))
       st1
     }
     delay_update.invoke()
@@ -211,7 +211,7 @@
         XML.string(command.node_name.node),
         Document_ID.encode(command.id),
         XML.Encode.long(breakpoint),
-        XML.Encode.bool(breakpoint_state))
+        XML.string(Value.Boolean(breakpoint_state)))
       st1
     }
   }