182183184185186187188189
prevIdx = i; index += 1; } final ObjectOutputStream oout = new ObjectOutputStream(output); oout.writeObject(new External8BitEncodingData(indices, values)); oout.flush(); }
175176177178179180181182