)]}'
{
  "id": "439aba467ae82e012a541d9883bb6225530fcc4c",
  "repo": "art",
  "revision": "5c93af3cc8894deefbc9cba69ea69526c45842aa",
  "path": "test/075-verification-error/src/BadInterface.java"
}