the getFileHeaders() method throws UnbufferedIoViolation

[simmiggrwl19]

The getFileHeaders() method in the code below results in an UnbufferedIoViolation:

    try (ZipFile zipFile = ZipFileHelper.createZipFile(file)) {
      zipFile.setCharset(charset);
      List<FileHeader> fileHeaders = zipFile.getFileHeaders();
      for (FileHeader fileHeader : fileHeaders) {
        ZipFileEntryWrapper entry = new ZipFileEntryFromFileHeader(this, fileHeader);
        if (entry.isEncrypted()) {
          isEncrypted = true;
        }
        try {
          entry.getValidatedName();
        } catch (ZipException zipex) {
          throw new InvalidZipFileException("Zip file contains entry with invalid name.");
        }
      }
    }