o ROBUSTNESS: Arguments$getWritablePathname() could sometimes generate
  warning "file.remove(pathnameT) : cannot remove file 'file...',
  reason 'Permission denied'.  Now it tries to remove that files
  several times before giving up.