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