char ch = seg.first();
int languageIndex = 0; // TODO
if (doc.isIdentifierChar(languageIndex, ch)) {
do {
ch = seg.next();
<BUG>} while (doc.isIdentifierChar(languageIndex, ch));

}</BUG>
else if (Character.isWhitespace(ch)) {
do {

char ch = seg.first();
int languageIndex = 0; // TODO
if (doc.isIdentifierChar(languageIndex, ch)) {
do {
