* @param destWavelet the destination wavelet
* @param docId the id of the document to copy
*/
public static void copyDocument(Wavelet sourceWavelet, Wavelet destWavelet, String docId) {
Document document = sourceWavelet.getDocument(docId);
DocInitialization docInit = document.toInitialization();
// TODO(user): add a createDocument method to Wavelet so that we can push this ugliness
// down the stack.
ObservableDocument destDoc = destWavelet.getDocument(docId);
destDoc.hackConsume(Nindo.fromDocOp(docInit, false /* don't remove skip */));
}