code: public static List<String> tokenize_path(String path) {
          String[] tokens = path.split(SEPARATOR);
          java.util.ArrayList<String> rtn = new ArrayList<>();
          for (String str : tokens) {
              if (!str.isEmpty()) {
                  rtn.add(str);
              }
          }
          return rtn;
      }
docs: split path as list