code: private int skipWhiteSpace(int index) {
  		while (index < tokens.size() && isWhiteSpace(tokens.get(index))) {
  			index++;
  		}
  		return index;
  	}
docs: Skip over any whitespace characters, starting from a given index and
  returning the first index passed any whitespace encountered.