diff -r 7eb4c966e156 -r 171e7735ce25 src/Pure/PIDE/protocol.scala
--- a/src/Pure/PIDE/protocol.scala	Fri Mar 16 17:16:09 2018 +0100
+++ b/src/Pure/PIDE/protocol.scala	Fri Mar 16 18:42:35 2018 +0100
@@ -146,6 +146,11 @@
   {
     def total: Int = unprocessed + running + warned + failed + finished
     def ok: Boolean = failed == 0
+
+    def json: JSON.Object.T =
+      JSON.Object("unprocessed" -> unprocessed, "running" -> running, "warned" -> warned,
+        "failed" -> failed, "finished" -> finished, "consolidated" -> consolidated,
+        "total" -> total, "ok" -> ok)
   }
 
   def node_status(