| changeset 47989 | f1ad41a05fb7 |
| parent 47216 | 71c04702a3d5 |
| child 52159 | 42244a052fbb |
| 47988:fb0b9913ff7e | 47989:f1ad41a05fb7 |
|---|---|
58 } |
58 } |
59 |
59 |
60 public List<Object> getManifestDigests(JarFile jar) { |
60 public List<Object> getManifestDigests(JarFile jar) { |
61 return jar.getManifestDigests(); |
61 return jar.getManifestDigests(); |
62 } |
62 } |
63 |
|
64 public String getRealName(JarFile jar, JarEntry entry) { |
|
65 return jar.getRealName(entry); |
|
66 } |
|
67 } |
63 } |