Details
-
Improvement
-
Status: Resolved
-
Minor
-
Resolution: Duplicate
-
1.0
-
None
-
None
Description
Right now, ZipFile.getEntries() simply returns Enumeration, but it should return Enumeration<? extends ZipArchiveEntry> so that callers don't have to cast the results, much like java.util.zip.ZipFile.entries().