blob: 61ab17c5e88f0c8b185f9f66421301d6dcf63c34 [file] [log] [blame]
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) {}
}
}
}
}