)]}'
{
  "id": "6d3b05bb3dbd53b95f415b764402cb4f6afd2b71",
  "repo": "art",
  "revision": "158f35c98e2ec0d40d2c032b8cdce5fb60944a7f",
  "path": "test/075-verification-error/src/MaybeAbstract.java"
}