static void saveJPG(BufferedImage img, File file) ctex {
  if (!ImageIO.write(img, "jpeg", mkdirsFor(file)))
    fail("Couldn't write JPEG: " + file + " (" + img + ")");
  vmBus_send('wroteFile, file);
}