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