)]}'
{
  "id": "12371ff9557924efc2cc53fa595e0860e1a5502c",
  "repo": "gcc",
  "revision": "46bf8d1d5d8c460188738b0e8c41841a014cb819",
  "path": "libjava/java/io/DataInputStream.h"
}