1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
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) {} } } } }