| 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) {} | |
| } | |
| } | |
| } | |
| } |