jdk/test/java/util/zip/ZipFile/ReadZip.java
changeset 34686 29ea8310a27a
parent 34526 f1f852f5f477
child 39310 fed59f4021c8
--- a/jdk/test/java/util/zip/ZipFile/ReadZip.java	Sun Dec 13 15:20:35 2015 +0100
+++ b/jdk/test/java/util/zip/ZipFile/ReadZip.java	Mon Dec 14 09:27:15 2015 -0800
@@ -30,6 +30,7 @@
 import java.io.*;
 import java.nio.file.Files;
 import java.nio.file.Paths;
+import java.nio.file.NoSuchFileException;
 import java.nio.file.StandardCopyOption;
 import java.nio.file.StandardOpenOption;
 import java.util.zip.*;
@@ -110,6 +111,6 @@
                                      "input"
                                       + String.valueOf(new java.util.Random().nextInt())
                                       + ".zip")));
-        } catch (FileNotFoundException fnfe) {}
+        } catch (NoSuchFileException nsfe) {}
     }
 }