svoid saveImage(File f, BufferedImage img) {
  if (hasJPEGExtension(f))
    saveJPG(f, img);
  else
    savePNG(f, img);
}

svoid saveImage(BufferedImage img, File f) {
  saveImage(f, img);
}