)]}' { "id": "8667cfd4a392608b4bc0e92dbb338a4b01c0644c", "repo": "plugins/its-base", "revision": "7fa76f7d76a784aebd17aab88f606478cfa75127", "path": ".settings/org.eclipse.core.runtime.prefs" }