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