(File file, @Nullable FileTime time)
| 126 | } |
| 127 | |
| 128 | private static void setLastModified(File file, @Nullable FileTime time) { |
| 129 | if (time != null) { |
| 130 | boolean ok = file.setLastModified(time.toMillis()); |
| 131 | if (!ok) { |
| 132 | LOG.log( |
| 133 | Level.WARNING, |
| 134 | () -> String.format("Failed to set last modified %s for file %s", time, file)); |
| 135 | } |
| 136 | } |
| 137 | } |
| 138 | |
| 139 | public static void unzipFile(File output, InputStream zipStream, String name) throws IOException { |
| 140 | String canonicalDestinationDirPath = output.getCanonicalPath(); |