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