builder.setDocumentOperation(WaveletOperationSerializer.serialize(
document.getContent().asOperation()));
builder.setAuthor(document.getAuthor().getAddress());
for (ParticipantId participant : document.getContributors()) {
builder.addContributor(participant.getAddress());
}
builder.setLastModifiedVersion(document.getLastModifiedVersion());
builder.setLastModifiedTime(document.getLastModifiedTime());
return builder;