14351436143714381439144014411442144314441445
while (line < lines.length) { String w = lines[line++]; if (w == null) { break; } term.copy(w); b.add(term, nothing); } return b.finish(); }
14441445144614471448144914501451145214531454
16311632163316341635163616371638163916401641