// If the destination files are located inside an archive, optimize the archive file, only if the destination
// archive is different from the source one
AbstractArchiveFile destArchiveFile = baseDestFolder.getParentArchive();
if(destArchiveFile!=null && destArchiveFile.isArchive() && destArchiveFile.isWritable()
&& !(sourceArchiveFile!=null && destArchiveFile.equalsCanonical(sourceArchiveFile)))
optimizeArchive((AbstractRWArchiveFile)destArchiveFile);
// If this job correponds to a file renaming in the same directory, select the renamed file
// in the active table after this job has finished (and hasn't been cancelled)
if(files.size()==1 && newName!=null && baseDestFolder.equalsCanonical(files.elementAt(0).getParent())) {