)]}'
{
  "id": "8b70a0712d4b92861a949a17fd153bc3defece39",
  "repo": "art",
  "revision": "5d1ac920fdaef5d4ec8f66bb734488cd9660b024",
  "path": "test/075-verification-error/src2/MaybeAbstract.java"
}