<commit_before>package org.lamport.tla.toolbox.job;

import java.util.List;

import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.WorkspaceJob;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.core.runtime.Status;

/**
 * Delete files out of sync
 * @author <NAME>
 * @version $Id$
 */
public class DeleteOutOfSyncJob extends WorkspaceJob
{
    private final List files;

    /**
     * @param name
     */
    public DeleteOutOfSyncJob(List files)
    {
        super("deleteOutOfSyncFiles");
        this.files = files;
    }

    /**
     * @see org.eclipse.core.resources.WorkspaceJob#runInWorkspace(org.eclipse.core.runtime.IProgressMonitor)
     */
    public IStatus runInWorkspace(IProgressMonitor monitor) throws CoreException
    {
        for (int i = 0; i < files.size(); i++)
        {
            ((IFile)files.get(i)).delete(true, monitor);
        }
        return Status.OK_STATUS;
    }
}<commit_msg>[Refactor] Typed list<commit_after>package org.lamport.tla.toolbox.job;

import java.util.List;

import org.eclipse.core.resources.IResource;
import org.eclipse.core.resources.WorkspaceJob;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.core.runtime.Status;

/**
 * Delete files out of sync
 * @author <NAME>
 * @version $Id$
 */
public class DeleteOutOfSyncJob extends WorkspaceJob
{
    private final List<IResource> files;

    /**
     * @param name
     */
    public DeleteOutOfSyncJob(List<IResource> files)
    {
        super("deleteOutOfSyncFiles");
        this.files = files;
    }

    /**
     * @see org.eclipse.core.resources.WorkspaceJob#runInWorkspace(org.eclipse.core.runtime.IProgressMonitor)
     */
    public IStatus runInWorkspace(IProgressMonitor monitor) throws CoreException
    {
        for (int i = 0; i < files.size(); i++)
        {
            files.get(i).delete(true, monitor);
        }
        return Status.OK_STATUS;
    }
}
{'fraction_non_alphanumeric': 0.11975483262611976, 'fraction_numerical': 0.000942951438000943, 'mean_word_length': 3.1203883495145632, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7663353', 'n_tokens_mistral': 653, 'n_tokens_neox': 652, 'n_words': 124}