private void jjAddStates(int start, int end) { do { jjstateSet[jjnewStateCnt++] = (uint) jjnextStates[start]; } while(start++ != end); }