docs: private void readObject(java.io.ObjectInputStream objectInputStream)
                      throws java.io.IOException
                      , java.lang.ClassNotFoundException
      {
          final String methodName = "readObject";
          if (Tracing.isAnyTracingEnabled() && trace.isEntryEnabled())
              trace.entry(this,
                          cclass,
                          methodName,
                          new Object[] { objectInputStream });
  
          objectInputStream.defaultReadObject();
  
          threadsWaitingForLock = 0;
          forcedUpdateSequence = 0;
          forcedUpdateSequenceLock = new ForcedUpdateSequenceLock();
          transactionLock = new TransactionLock(null);
          state = stateReady; // Initial state.
          previousState = -1; // No previous state.
          stateLock = new Object();
  
          if (Tracing.isAnyTracingEnabled() && trace.isEntryEnabled())
              trace.exit(this,
                         cclass,
                         methodName);
      }