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