docs: private static List<String> split( String str,
                                         String splitter ) {
          StringTokenizer tokens = new StringTokenizer(str, splitter);
          ArrayList<String> l = new ArrayList<>(tokens.countTokens());
          while (tokens.hasMoreTokens()) {
              l.add(tokens.nextToken());
          }
          return l;
      }