)]}'
{
  "id": "f2b4831e9a586a16ce5ab15dc81687015c4c64c2",
  "repo": "platform/eclipse.platform.text",
  "revision": "bca70eaca7f2f90cdb07d5ae549fe28e5cc0d6f4",
  "path": "org.eclipse.ui.workbench.texteditor/plugin.properties"
}