params.set(1, path == null ? JSONNull.getInstance() : new JSONString(path));
params.set(2, fileType == null ? JSONNull.getInstance() : new JSONString(fileType));
params.set(3, encoding == null ? JSONNull.getInstance() : new JSONString(encoding));
params.set(4, new JSONString(StringUtil.notNull(foldSpec)));
params.set(5, new JSONString(replacement));
params.set(6, new JSONNumber(offset));
params.set(7, new JSONNumber(length));
params.set(8, new JSONString(hash));
sendRequest(RPC_SCOPE, SAVE_DOCUMENT_DIFF, params, requestCallback);
}