161162163164165166167168169170171172
file.getName() + ":" + old_mode + " -> " + new_mode ); */ } }; final DownloadManagerDiskListener dm_disk_listener = new DownloadManagerDiskListener() { public void diskManagerAdded( DiskManager dm ) {