public void download(String locator) {
// TODO: Add getServerFile() to WsdlFile
ServerFile toDownload = ServerFile.fromPath(getWsdlFile().getLocator());
FileDownloadManager downloader = new FileDownloadManager(this);
downloader.download(toDownload);
}
@Override
public void downloadCancelled() {
signalJobCancelled();