code: static void lockCloud() {
      if( _cloudLocked ) return; // Fast-path cutout
      synchronized(Paxos.class) {
        while( !_commonKnowledge )
          try { Paxos.class.wait(); } catch( InterruptedException ie ) { }
        _cloudLocked = true;
      }
    }
docs: change cloud shape - the distributed writes will be in the wrong place.