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