The problem is that internalReleaseLease() finalizes empty files, which removes these file path names from the lease. So this modifies the Collection of file names which LeaseManager.checkLeases() is iterating on.
Description
The problem is that internalReleaseLease() finalizes empty files, which removes these file path names from the lease. So this modifies the Collection of file names which LeaseManager.checkLeases() is iterating on.