60     byte[] global_colormap;
305             global_colormap = new byte[2*3];
306             global_colormap[0] = global_colormap[1] = global_colormap[2] = (byte)0;
307             global_colormap[3] = global_colormap[4] = global_colormap[5] = (byte)255;
320             global_colormap = new byte[num_global_colors * 3];
321             if (readBytes(global_colormap, 0, num_global_colors * 3) != 0) {
533                 global_colormap = grow_colormap(global_colormap, num_global_colors);
535             model = new IndexColorModel(8, num_global_colors, global_colormap,

Indexes created Tue Jul 24 14:28:13 CEST 2018