)]}' { "id": "c68ceb49c855712585b160e3704c5acb18d82e10", "repo": "webtools-common/webtools.common", "revision": "0c5dcb2cb24c2b175f39d8362b457f92e406ff37", "path": "plugins/org.eclipse.wst.common.core/.settings/org.eclipse.jdt.ui.prefs" }