)]}'
{
  "id": "813c40dc50d3b97c1f953a6174f112db8dbfad3b",
  "repo": "plexi/hourly",
  "revision": "master",
  "path": "coverage/com.google.enterprise.adaptor.SessionManager.html"
}