)]}'
{
  "id": "808729fa9ce99aa625d8c72992782444c19a5019",
  "repo": "ease/org.eclipse.ease.scripts",
  "revision": "4c6677131d7bb6fb70781bb2d5a37d03b3da2a18",
  "path": "JavaScript Beginner Tutorial/01 Hello world/02 Hello World UI.js"
}