if ((jj_nt = token.next) == null)
if ((jj_nt = token.next) == null) {
	final private int jj_ntk() {		if ((jj_nt = token.next) == null)			return (jj_ntk = (token.next = token_source.getNextToken()).kind);		else			return (jj_ntk = jj_nt.kind);	}