)]}'
{
  "id": "851357ee84e12738c1fb05d6f73f573400bcb919",
  "repo": "gerrit/servertools/webtools.servertools",
  "revision": "42e2f69b96e936f091c66fea389bd4be45e45f39",
  "path": "docs/org.eclipse.jst.server.ui.doc.user/plugin.properties"
}