private int skipWhiteSpace() {
  	char c;
  	for (; currentPos < maxPos; currentPos++)
  	    if (((c = string.charAt(currentPos)) != ' ') && 
  		(c != '\t') && (c != '\r') && (c != '\n'))
  		return currentPos;
  	return Token.EOF;
      }