docs: private static File createWorkspace(final String prefix,
                                          final String suffix,
                                          final File parent,
                                          final boolean deleteIfExists) throws IOException {
          final File dir = getUserDirectory(prefix, suffix, parent);
          if (dir.exists()) {
              if(!dir.isDirectory()) {
                  throw new IOException("File " + dir + " exists but is not a directory");
              }
              if (deleteIfExists) {
                  FileUtils.cleanDirectory(dir);
              }
          } else {
              if (!dir.mkdir()) {
                  throw new IOException("Failed to create directory: " + dir);
              }
          }
          return dir;
      }