)]}'
{
  "id": "3438b11817a8e243b9a4d026c8044c6e9b24d1fd",
  "repo": "plexi",
  "revision": "ece4931a4a0f62378c27c5c0cb5290fca1f67f26",
  "path": "src/adaptorlib/DocIdCodec.java"
}