)]}'
{
  "id": "5ca55d838ae34d5b3db1f83a36a837e733be4679",
  "repo": "openjdk/jdk25u",
  "revision": "HEAD",
  "path": "src/java.base/share/classes/java/io/BufferedInputStream.java"
}