*/
public JupiterActivity generateJupiterActivity(Operation op, User source,
SPath editor) {
// send(op, myMsgs, otherMsgs);
JupiterActivity jupiterActivity = new JupiterActivity(this.vectorTime,
op, source, editor);
// add(op, myMsgs) to outgoing;
this.ackJupiterActivityList.add(new OperationWrapper(op,
this.vectorTime.getLocalOperationCount()));