protected void doDownload(URL url, File dest) throws IOException {
long start = System.currentTimeMillis();
System.out.println("downloading "+url+" to "+dest);
FileUtil.copy(url, dest, new CopyProgressListener() {
public void end(CopyProgressEvent evt) {
System.out.println();
}
public void progress(CopyProgressEvent evt) {