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