)]}' { "id": "7406de6ecb8b4c8737f8c9b160fab313d42ebc98", "repo": "webtools-common/webtools.common", "revision": "9251f8136e10b56ceeb20c609475a79bd7d7c817", "path": "plugins/org.eclipse.wst.common.core/.settings/org.eclipse.jdt.core.prefs" }