docs: public File[] getAllFilesBelow(File dir) {
          Set allFiles = new HashSet();
          if (dir.isDirectory()) {
              primGetAllFilesBelow(dir, allFiles);
          }
          return (File[]) allFiles.toArray(new File[allFiles.size()]);
      }