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