docs: public static FileOutputStream openResultFileOuputStream(
  			Path resultDirectory, String filename) throws IOException {
  		Path filePath = resultDirectory.resolve(filename);
  		return new FileOutputStream(filePath.toFile());
  	}