)]}'
{
  "id": "98add4e5826d7bc6c4f632f22f1c5ae175549db3",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/extensions/test/pgp/TestPGP.java"
}