/** Removes a participant from the given wavelet. */
 @Override
 public void doApply(WaveletData target) throws OperationException {
   if (!target.removeParticipant(participant)) {
     throw new OperationException("Attempt to remove non-existent participant " + participant);
   }
 }