*/
public static void save(Palette palette, File paletteFile) throws
IOException
{
RGB24Image image = convertPaletteToImage(palette);
PNMCodec codec = new PNMCodec();
codec.setOutputStream(new FileOutputStream(paletteFile));
codec.setAscii(true);
codec.setImage(image);
try
{
codec.process();
}
catch(OperationFailedException ofe)
{
throw new IOException("I/O error: " + ofe.toString());
}