generate uuid;

--- a/src/Tools/VSCode/src/grammar.scala	Sun Jan 01 23:19:34 2017 +0100
+++ b/src/Tools/VSCode/src/grammar.scala	Sun Jan 01 23:30:18 2017 +0100
@@ -9,6 +9,8 @@
 
 import isabelle._
 
+import java.util.UUID
+
 
 object Grammar
 {
@@ -54,7 +56,7 @@
   "name": "Isabelle",
   "scopeName": "source.isabelle",
   "fileTypes": ["thy"],
-  "uuid": "fb16e918-d05b-11e6-918e-2bb94aa2c605",
+  "uuid": """ + JSON.Format(UUID.randomUUID().toString) + """,
   "repository": {
     "comments": {
       "patterns": [