code: private void readIdToPendingRequests(CoronaSerializer coronaSerializer)
      throws IOException {
      coronaSerializer.readField("idToPendingRequests");
      // Expecting the START_ARRAY token for idToPendingRequests
      coronaSerializer.readStartArrayToken("idToPendingRequests");
      JsonToken current = coronaSerializer.nextToken();
      while (current != JsonToken.END_ARRAY) {
        pendingRequestsList.add(coronaSerializer.jsonParser.getIntValue());
        current = coronaSerializer.nextToken();
      }
      // Done with reading the END_ARRAY token for idToPendingRequests
    }
docs: Reads the idToPendingRequests map from a JSON stream
  
  @param coronaSerializer The CoronaSerializer instance to be used to
  read the JSON
  @throws IOException