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