diff -r 20e498a28f5e -r 452b4fb7927c src/Tools/VSCode/extension/isabelle-ml-language.json
--- a/src/Tools/VSCode/extension/isabelle-ml-language.json	Tue Jan 03 17:21:37 2017 +0100
+++ b/src/Tools/VSCode/extension/isabelle-ml-language.json	Tue Jan 03 17:24:41 2017 +0100
@@ -1,18 +1,18 @@
 {
+  "comments": {
+    "blockComment": [ "(*", "*)" ]
+  },
+  "brackets": [
+    ["(", ")"],
+    ["[", "]"],
+    ["{", "}"]
+  ],
   "autoClosingPairs": [
     { "open": "{", "close": "}" },
     { "open": "[", "close": "]" },
     { "open": "(", "close": ")" },
     { "open": "\"", "close": "\"", "notIn": [ "string" ] }
   ],
-  "brackets": [
-    ["(", ")"],
-    ["[", "]"],
-    ["{", "}"]
-  ],
-  "comments": {
-    "blockComment": [ "(*", "*)" ]
-  },
   "surroundingPairs": [
     [ "{", "}" ],
     [ "[", "]" ],