} if (singleCharToken(ch)) {
} else if (ch > '\u2E80' && singleCharToken(ch)) {
	protected TextToken alpha(TextToken token, boolean allowWildcards) {		if (token == null)			token = new TextToken(TextToken.ALPHA, text, pos);		else			token.setType(TextToken.ALPHA);		int oldPos = pos;		// consume letters		char ch = LA(1);		int count = 0;		while (ch != (char) -1) {			if (ch == '\\' && isWildcard(LA(2))) {				break;			}			if (singleCharToken(ch)) {				// if this is a single char token and first in the sequence,				// consume it				if(count == 0) {					token.consumeNext();					consume();					ch = LA(1);				}				break;			} else if (Character.isLetter(ch) || nonBreakingChar(ch) || (allowWildcards && isWildcard(ch))) {				token.consumeNext();				consume();				ch = LA(1);				count++;			} else {				break;			}		}		if (Character.isDigit(ch)) {			// found non-letter character			// call alphanum()			//pos = oldPos;			return alphanum(token, allowWildcards);		}		return token;	}