)]}' { "id": "ef06de9cda88ca7a42c2d17ab0ef46fc102e27aa", "repo": "plugins/reviewnotes", "revision": "refs/tags/v3.4.7", "path": ".settings/org.eclipse.jdt.core.prefs" }