)]}'
{
  "id": "538e9ebe139d9f4d5e095001f003a5bb47cb009e",
  "repo": "plugins/batch",
  "revision": "master",
  "path": ".settings/org.eclipse.jdt.core.prefs"
}