IntArrayList positions = terms.get( term );
if ( list == null ) termMap.put( term, list = new ObjectArrayList<int[]>() );
int[] t = new int[ positions.size() + 1 ];
t[ 0 ] = documentIndex;
System.arraycopy( positions.elements(), 0, t, 1, positions.size() );
list.add( t );
}
return pos;
}