)]}'
{
  "id": "cc08e51a88cdf8ee3c57144cfc9c8cdf4eefc47c",
  "repo": "servertools/webtools.servertools",
  "revision": "eaa3870515e004fab7f6a8e3b4189cb0fda47cf8",
  "path": "docs/org.eclipse.wst.server.ui.doc.user/plugin.properties"
}