< prev index next >

src/java.base/share/classes/java/util/jar/JarFile.java

Print this page

        

*** 591,601 **** } } if (includeUnsigned) { return unsignedEntryNames(); } else { ! return new Enumeration<String>() { public boolean hasMoreElements() { return false; } --- 591,601 ---- } } if (includeUnsigned) { return unsignedEntryNames(); } else { ! return new Enumeration<>() { public boolean hasMoreElements() { return false; }
*** 617,627 **** return jv.entries2(this, super.entries()); } // screen out entries which are never signed final Enumeration<? extends ZipEntry> enum_ = super.entries(); ! return new Enumeration<JarEntry>() { ZipEntry entry; public boolean hasMoreElements() { if (entry != null) { --- 617,627 ---- return jv.entries2(this, super.entries()); } // screen out entries which are never signed final Enumeration<? extends ZipEntry> enum_ = super.entries(); ! return new Enumeration<>() { ZipEntry entry; public boolean hasMoreElements() { if (entry != null) {
*** 667,677 **** } } private Enumeration<String> unsignedEntryNames() { final Enumeration<JarEntry> entries = entries(); ! return new Enumeration<String>() { String name; /* * Grab entries from ZIP directory but screen out --- 667,677 ---- } } private Enumeration<String> unsignedEntryNames() { final Enumeration<JarEntry> entries = entries(); ! return new Enumeration<>() { String name; /* * Grab entries from ZIP directory but screen out
< prev index next >