for (ParticipantId participant : wavelet.getParticipants()) {
builder.addParticipantId(participant.toString());
}
for (String id : wavelet.getDocumentIds()) {
ReadableBlipData data = wavelet.getDocument(id);
builder.addDocument(serializeDocument(data));
}
builder.setVersion(WaveletOperationSerializer.serialize(hashedVersion));
builder.setLastModifiedTime(wavelet.getLastModifiedTime());
builder.setCreator(wavelet.getCreator().getAddress());