|| nextChar == '%'
	public String ttoken() {		StringBuffer nextId = new StringBuffer();		try {			while (hasMoreChars()) {				char nextChar = lookAhead(0);				//Debug.println("nextChar = " + nextChar);				if (isAlpha(nextChar)					|| isDigit(nextChar)					|| nextChar == '_'					|| nextChar == '+'					|| nextChar == '-'					|| nextChar == '!'					|| nextChar == '`'					|| nextChar == '\''					|| nextChar == '~'					|| nextChar == '.'					|| nextChar == '*') {					consume(1);					nextId.append(nextChar);				} else					break;			}			return nextId.toString();		} catch (ParseException ex) {			return nextId.toString();		}	}