ZipEntry entry = zip.getEntry("jre");
// Overkill: entry exists and was checked by the installer main function
if (entry==null) throw new IOException("Internal Error!");
Enumeration enumEntries = zip.entries();
while (enumEntries.hasMoreElements()) {
entry = (ZipEntry)enumEntries.nextElement();
if (!entry.getName().startsWith("jre")) continue;