String old_path = old_save_path.getPath();
String new_path = new_save_path.getPath();
CaseSensitiveFileMap links = download_manager_state.getFileLinks();
Iterator it = links.keySetIterator();
while(it.hasNext()){
File from = (File)it.next();
File to = (File)links.get(from);
String from_s = (from == null) ? null : from.getAbsolutePath();