)]}'
{
  "id": "ef2ef05a7ae473acd40c2d9c9e3b888e7770b3a0",
  "repo": "gwt.git",
  "revision": "5f0e13863673810ae3909f627e865304cfcf7a43",
  "path": "user/src/com/google/gwt/animation/client/AnimationSchedulerImplTimer.java"
}