)]}'
{
  "id": "d4afd00859cee8fe85ed9a7955aefbc4dee3ed34",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/scripting/workben/installer/Navigation.java"
}