public File download(IDownloadConfig runtime, Distribution distribution) throws IOException {
String progressLabel = "Download " + distribution;
IProgressListener progress = runtime.getProgressListener();
progress.start(progressLabel);
// First get PHPSESSID cookie from download URL
ITimeoutConfig timeoutConfig = runtime.getTimeoutConfig();
URL url = new URL(getDownloadUrl(runtime, distribution));