)]}'
{
  "id": "74c2058c9af8a36d3e7b066eda6b33696539f243",
  "repo": "sourceediting/webtools.sourceediting",
  "revision": "f3d4e15e43a02137c2b341dd0a14089e10dd7c8f",
  "path": "docs/org.eclipse.wst.dtdeditor.doc.user/plugin.properties"
}