)]}'
{
  "id": "8efa693baf52e573f601f5e3a4e34867c2235415",
  "repo": "gerrit/servertools/webtools.servertools",
  "revision": "e423572dd61784ebe0a051780cb51bf95f11f3b6",
  "path": "docs/org.eclipse.jst.server.ui.doc.user/plugin.xml"
}