93 } |
93 } |
94 |
94 |
95 public String toString() { |
95 public String toString() { |
96 // Backwards compatibility hack. ZipFileObjects use the format |
96 // Backwards compatibility hack. ZipFileObjects use the format |
97 // zipfile(zipentry) but javadoc has been using zipfile/zipentry |
97 // zipfile(zipentry) but javadoc has been using zipfile/zipentry |
98 String fn = filename.toString(); |
98 String fn = filename.getName(); |
99 if (fn.endsWith(")")) { |
99 if (fn.endsWith(")")) { |
100 int paren = fn.lastIndexOf("("); |
100 int paren = fn.lastIndexOf("("); |
101 if (paren != -1) |
101 if (paren != -1) |
102 fn = fn.substring(0, paren) |
102 fn = fn.substring(0, paren) |
103 + File.separatorChar |
103 + File.separatorChar |