}
private void doDownload(ProjectId projectId, DownloadFormatExtension extension) {
RevisionNumber head = RevisionNumber.getHeadRevisionNumber();
ProjectRevisionDownloader downloader = new ProjectRevisionDownloader(projectId, head, extension);
downloader.download();
}
}