| changeset 52171 | 0da586f1ed05 |
| parent 52159 | 42244a052fbb |
| child 52427 | 3c6aa484536c |
| 52170:2990f1e1c325 | 52171:0da586f1ed05 |
|---|---|
63 |
63 |
64 public Attributes getTrustedAttributes(Manifest man, String name) { |
64 public Attributes getTrustedAttributes(Manifest man, String name) { |
65 return man.getTrustedAttributes(name); |
65 return man.getTrustedAttributes(name); |
66 } |
66 } |
67 |
67 |
68 public void ensureInitialization(JarFile jar) { |
|
69 jar.ensureInitialization(); |
|
70 } |
|
68 } |
71 } |