convertSup(i, frameNum/2+1, subPicturesToBeExported.size());
String fnp = SupXml.getPNGname(fn, i+1);
//File file = new File(fnp);
//ImageIO.write(trgBitmap.getImage(trgPal), "png", file);
out = new BufferedOutputStream(new FileOutputStream(fnp));
EnhancedPngEncoder pngEncoder= new EnhancedPngEncoder(trgBitmap.getImage(trgPal.getColorModel()));
byte buf[] = pngEncoder.pngEncode();
out.write(buf);
out.close();
exportedSubPictures.put(i, subPicture);
}
frameNum+=2;