code: @InterfaceAudience.Public
      public SavedRevision getRevision(String revID) {
          if (revID != null && currentRevision != null && revID.equals(currentRevision.getId()))
              return currentRevision;
          RevisionInternal revisionInternal = database.getDocument(getId(), revID, true);
          return getRevisionFromRev(revisionInternal);
      }
docs: The revision with the specified ID.
  
  @param revID the revision ID
  @return the SavedRevision object