equal
deleted
inserted
replaced
83 } |
83 } |
84 } |
84 } |
85 |
85 |
86 Set<URI> as = packageArtifacts.get(pkgName); |
86 Set<URI> as = packageArtifacts.get(pkgName); |
87 if (as == null) { |
87 if (as == null) { |
88 as = new HashSet<URI>(); |
88 as = new HashSet<>(); |
89 packageArtifacts.put(pkgName, as); |
89 packageArtifacts.put(pkgName, as); |
90 } |
90 } |
91 as.add(dest.toURI()); |
91 as.add(dest.toURI()); |
92 |
92 |
93 if (dest.exists() && dest.lastModified() > src.lastModified()) { |
93 if (dest.exists() && dest.lastModified() > src.lastModified()) { |