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