src/Tools/VSCode/src/protocol.scala

--- a/src/Tools/VSCode/src/protocol.scala	Tue Mar 13 10:54:40 2018 +0100
+++ b/src/Tools/VSCode/src/protocol.scala	Tue Mar 13 16:08:13 2018 +0100
@@ -309,7 +309,7 @@
             doc <- JSON.value(params, "textDocument")
             uri <- JSON.string(doc, "uri")
             version <- JSON.long(doc, "version")
-            changes <- JSON.array(params, "contentChanges", unapply_change _)
+            changes <- JSON.list(params, "contentChanges", unapply_change _)
           } yield (Url.absolute_file(uri), version, changes)
         case _ => None
       }