docs: public static String[] tokenize(final String source, final char delimiter) {
  		final Vector<String> v = tokenize2vector(source, delimiter);
  		final String[] ret = new String[v.size()];
  		for (int i = 0; i < v.size(); i++) {
  			ret[i] = v.elementAt(i);
  		}
  		return ret;
  	}