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