docs: public static String joinPaths(String... paths) {
  
          String result = listAsString(Arrays.asList(paths), "/");
          // result may now contain multiple consecutive slashes, so reduce them to single slashes
          result = result.replaceAll("/+", "/");
          return result;
      }