code 3

import java.io.Serializable;
import java.util.Observable;
import jbenchmarker.core.LocalOperation;


    public abstract class CRDT<L> extends Observable implements Factory<CRDT<L>>,Serializable {
        private int replicaNumber;

        public CRDT(int replicaNumber) {
            this.replicaNumber = replicaNumber;
        }

        public CRDT() {
        }

        public void setReplicaNumber(int replicaNumber) {
            this.replicaNumber = replicaNumber;
        }

        public int getReplicaNumber() {
            return replicaNumber;
        }

        abstract public CRDTMessage function0(LocalOperation op) throws PreconditionException ;

        final public void function1(CRDTMessage msg){
            msg.execute(this);
        }

        abstract public void function1(CRDTMessage op);
        abstract public L lookup();

        @Deprecated
        public Long lastExecTime(){
            return 0L;
        }
    }