code: protected ZipEntry getZipEntry(String filename) throws ZipException {
  
          // yes
          ZipEntry entry = getZipFile().getEntry(filename);
          // path to file might be relative, too
          if ((entry == null) && filename.startsWith("/")) {
              entry = m_zipFile.getEntry(filename.substring(1));
          }
          if (entry == null) {
              throw new ZipException(
                  Messages.get().getBundle().key(Messages.LOG_IMPORTEXPORT_FILE_NOT_FOUND_IN_ZIP_1, filename));
          }
          return entry;
      }
docs: Returns the zip entry for a file in the archive.
  @param filename the file name
  @return the zip entry for the file with the provided name
  @throws ZipException thrown if the file is not in the zip archive