String res = url.toString();
URLDownload udl = null;
// First of all, start the download itself in the background to a temporary file:
final File tmp = File.createTempFile("jabref_download", "tmp");
tmp.deleteOnExit();
//long time = System.currentTimeMillis();
try {
udl = new URLDownload(frame, url, tmp);
// TODO: what if this takes long time?
// TODO: stop editor dialog if this results in an error: