code: private void copyParseInfo(final FileSystem zipfs)
          throws IOException
      {
          final Path path = zipfs.getPath(INFO_PATH);
          try (
  
              final BufferedWriter writer = Files.newBufferedWriter(path, UTF_8);
          ) {
              sb.setLength(0);
              sb.append(startTime).append(';')
                  .append(prematchIndices.size()).append(';')
                  .append(nextMatcherId).append(';')
                  .append(nrLines).append(';')
                  .append(nrChars).append(';')
                  .append(nrCodePoints).append(';')
                  .append(nextNodeId).append('\n');
              writer.append(sb);
              writer.flush();
          }
      }
docs: MUST be called after copyInputText!