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