diff options
-rw-r--r-- | src/main/javassist/ClassPoolTail.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/main/javassist/ClassPoolTail.java b/src/main/javassist/ClassPoolTail.java index d9d2198e..72fa390c 100644 --- a/src/main/javassist/ClassPoolTail.java +++ b/src/main/javassist/ClassPoolTail.java @@ -25,9 +25,9 @@ import java.io.InputStream; import java.io.OutputStream; import java.net.MalformedURLException; import java.net.URL; -import java.util.ArrayList; import java.util.Collections; -import java.util.List; +import java.util.HashSet; +import java.util.Set; import java.util.jar.JarEntry; import java.util.jar.JarFile; @@ -128,14 +128,14 @@ final class JarDirClassPath implements ClassPath { } final class JarClassPath implements ClassPath { - List<String> jarfileEntries; + Set<String> jarfileEntries; String jarfileURL; JarClassPath(String pathname) throws NotFoundException { JarFile jarfile = null; try { jarfile = new JarFile(pathname); - jarfileEntries = new ArrayList<String>(); + jarfileEntries = new HashSet<String>(); for (JarEntry je:Collections.list(jarfile.entries())) if (je.getName().endsWith(".class")) jarfileEntries.add(je.getName()); |