)]}'
{
  "id": "9e2fd3aa74355d487644305a701366027110f227",
  "repo": "ease/org.eclipse.ease.scripts",
  "revision": "eb5212ea41f506d4f8426edc3b24a01b7bc8153d",
  "path": "JavaScript Beginner Tutorial/02 File IO/01 Resources API.js"
}