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