src/Tools/VSCode/src/grammar.scala

--- a/src/Tools/VSCode/src/grammar.scala	Sun Aug 06 17:32:32 2017 +0200
+++ b/src/Tools/VSCode/src/grammar.scala	Sun Aug 06 17:38:54 2017 +0200
@@ -9,8 +9,6 @@
 
 import isabelle._
 
-import java.util.UUID
-
 
 object Grammar
 {
@@ -47,7 +45,7 @@
   "name": "Isabelle",
   "scopeName": "source.isabelle",
   "fileTypes": ["thy"],
-  "uuid": """ + JSON.Format(UUID.randomUUID().toString) + """,
+  "uuid": """ + JSON.Format(Library.UUID()) + """,
   "repository": {
     "comment": {
       "patterns": [