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