)]}'
{
  "id": "03ad1752ffbb18856eaa2c7694e752737c2065ff",
  "repo": "r8",
  "revision": "418c5456d8d2c2ff40ca7e536d48cf13347e76bf",
  "path": "src/test/examplesJava21/switchpatternmatching/SwitchTestHelper.java"
}