)]}'
{
  "id": "7825c7e40bed73b4482a588e006a81609582dab3",
  "repo": "gerrit/servertools/webtools.servertools",
  "revision": "9073f8cf938015829fd97c2a7c02cc54f2bdd84e",
  "path": "docs/org.eclipse.jst.server.ui.infopop/plugin.properties"
}