7172737475767778
return null; } // Make an ArchiveEntry. // This is a little bit inefficient as we throw this away // and it will be made again later. ArchiveEntry archiveEntry = J2eeDataObject.urlToArchiveEntry(url); return archiveEntry.getName(); }