Enumeration e = zipFile.getEntries();
while (e.hasMoreElements())
{
ZipEntry ze = (ZipEntry) e.nextElement();
String name = ze.getName();
VirtualFile f = new VirtualZipFile(zipFileHolder, MimeMappings.getMimeType(name),
path + "$" + name, name);
files.put(name, f);
}
}
catch (SwcException.UnknownZipFormat e)