)]}'
{
  "id": "93d4120c29e26b8ad172a1070b88d0a9320abc2e",
  "repo": "platform/eclipse.platform.text",
  "revision": "0f5cc0d56900f4ff6d582e29b2f91cce5f1ebcef",
  "path": "org.eclipse.ui.examples.javaeditor/plugin.properties"
}