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