setLastModifiedTime(zipEntry.getTime());
			private void scanForNextEntry() {				while (nextEntry == null) {					if (!zipEntryEnumerator.hasMoreElements()) {						return;					}					ZipEntry zipEntry = zipEntryEnumerator.nextElement();									if (!zipEntry.isDirectory()) {						nextEntry = new ZipFileCodeBaseEntry(ZipFileCodeBase.this, zipEntry);						break;					}				}			}