*/
public void encodeImage(BufferedImage buf, File imageFile)
throws SVGGraphics2DIOException {
try {
OutputStream os = new FileOutputStream(imageFile);
ImageEncoder encoder = new PNGImageEncoder(os, null);
encoder.encode(buf);
os.close();
} catch (IOException e) {
throw new SVGGraphics2DIOException(ERR_WRITE+imageFile.getName());
}
}