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