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