)]}'
{
  "id": "9bdbea637e87f3ebeb1191b5b9c98bd3a9513c1e",
  "repo": "jeetools/webtools.javaee",
  "revision": "de4befeaa17e92502e6331ff054f813ff63ab33a",
  "path": "plugins/org.eclipse.jst.j2ee.web/.settings/org.eclipse.jdt.ui.prefs"
}