.getHeight());
ip = mc.convertToByte(256);
ImagePlus imp = new ImagePlus("temp", ip);
FileInfo fi = imp.getFileInfo();
byte pixels[] = (byte[]) imp.getProcessor().getPixels();
GifEncoder ge =
new GifEncoder(fi.width,
fi.height,
pixels,
fi.reds,
fi.greens,
fi.blues);
ge.write(out);
} else {
ImageEncodeParam param = null;
String format = null;
if (outputMimeType.equals("image/jpeg")) {
param = new JPEGEncodeParam();