docs: private File createNewFile(File outputDir, String prefix, String extension) throws IOException {
          String dateTime = new SimpleDateFormat("yyyyMMdd.HHmmss").format(new Date());
          File outputFile;
          do {
              String pid = PID == null ? "" : PID + '.';
              int sequenceNumber = nextSequenceNumber.getAndIncrement();
              outputFile = new File(outputDir, String.format("%s.%s.%s%04d.%s", prefix, dateTime, pid, sequenceNumber, extension));
          } while (outputFile.exists());
  
          return outputFile;
      }