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