)]}'
{
  "id": "46778b0512619cf0178e51d773d7387614790eef",
  "repo": "objectteams/org.eclipse.objectteams",
  "revision": "ceb4818d79ac495c51f188b9fdc631d7d4fcc8d6",
  "path": "othersrc/JCLMin1.5/src/java/lang/ClassCastException.java"
}