gcc/libjava/testsuite/libjava.compile/PR13024.java

import java.io.*;
import java.util.zip.*;

class PR13024 {
    void isZipOrJarArchive(File file) throws IOException {
        ZipFile zipFile = null;

        try {
            zipFile = new ZipFile(file);
        } finally {
            if (zipFile != null) {
                try {
                    zipFile.close();
                } catch (IOException ignored) {}
            }
        }
    }
}