src/Pure/General/http.scala

--- a/src/Pure/General/http.scala	Wed Dec 15 19:39:02 2021 +0100
+++ b/src/Pure/General/http.scala	Wed Dec 15 19:41:30 2021 +0100
@@ -31,6 +31,7 @@
     elapsed_time: Time = Time.zero)
   {
     def text: String = new String(bytes.array, encoding)
+    def json: JSON.T = JSON.parse(text)
   }
 
   def read_content(file: JFile): Content =