final int termLength = scratchIntsRef.length = e.term.length; scratchIntsRef.grow(termLength); final int [] ints = scratchIntsRef.ints; final char [] chars = e.term;
final int termLength = scratchIntsRef.length = e.term.length; scratchIntsRef.grow(termLength); final int [] ints = scratchIntsRef.ints; final char [] chars = e.term;