)]}'
{
  "id": "4cff627b93edb92168901c4761a3a221a40dcddb",
  "repo": "jeetools/webtools.javaee",
  "revision": "5cebe7cb122d260af0b9b22ba1f9f610dcae09a4",
  "path": "plugins/org.eclipse.jem.proxy/.settings/org.eclipse.jdt.ui.prefs"
}