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