)]}'
{
  "id": "2396de456a8c713509f2392f74efa3b9a4048bd5",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/l10ntools/source/help/HelpIndexerTool.java"
}