)]}'
{
  "id": "9ff105514adc3b7c0a60163d3f94644d54b594f5",
  "repo": "platform/external/jspecify",
  "revision": "40433ac",
  "path": "samples/NotNullMarkedUnboxing.java"
}