svoid saveImageVerbose(File f, BufferedImage img) {
  if (hasJPEGExtension(f))
    saveJPGVerbose(f, img);
  else
    savePNGVerbose(f, img);
}