docs: private void readObject(java.io.ObjectInputStream objectInputStreamIn)
                      throws java.io.IOException
                      , java.lang.ClassNotFoundException
      {
  
          if (Tracing.isAnyTracingEnabled() && trace.isEntryEnabled())
              trace.entry(this, cclass
                          , "readObject"
                          , "objectInputStreamIn=" + objectInputStreamIn + "(java.io.ObjectInputStream)"
                              );
  
          objectInputStreamIn.defaultReadObject();
          availableSize = size; // Start as last commited.
          managedObjectsToAdd = new java.util.HashSet(1);
          managedObjectsToReplace = new java.util.HashSet();
          tokensToNotify = new java.util.HashSet(1); // Holds the set of tokens to notify about replacements. 
  
          if (Tracing.isAnyTracingEnabled() && trace.isEntryEnabled())
              trace.exit(this, cclass
                         , "readObject"
                              );
  
      }