docs: private void doDelete(java.io.File file)
      {
          // Make the directory to write the objects to.
          if (file.isDirectory()) {
  
              // Find all of the files in the next level.
  
              // JCLRM does not have listFiles...
              // java.io.File nextFiles[] = file.listFiles();
  
              String[] files = file.list();
              java.io.File[] nextFiles = null;
              if (files != null) {
                  nextFiles = new java.io.File[files.length];
                  for (int iFile = 0; iFile < nextFiles.length; iFile++) {
                      nextFiles[iFile] = new java.io.File(file.getPath(),
                                                          files[iFile]);
                  }
              }
  
              if (nextFiles != null) {
                  for (int iFile = 0; // Index to next files.
                  iFile < nextFiles.length; iFile++) {
                      java.io.File nextFile = nextFiles[iFile];
                      if (nextFile.isDirectory()) {
                          doDelete(nextFile);
                      } else {
                          nextFile.delete();
                      }
                  } // for loop over existing Files.
              }
          } // if (file.isDirectory()).
          file.delete();
      }