tuned;

--- a/src/Tools/VSCode/src/language_server.scala	Wed Jul 27 13:13:59 2022 +0200
+++ b/src/Tools/VSCode/src/language_server.scala	Wed Jul 27 13:17:32 2022 +0200
@@ -84,7 +84,7 @@
           // prevent spurious garbage on the main protocol channel
           val orig_out = System.out
           try {
-            System.setOut(new PrintStream(new OutputStream { def write(n: Int): Unit = {} }))
+            System.setOut(new PrintStream(OutputStream.nullOutputStream()))
             server.start()
           }
           finally { System.setOut(orig_out) }