static void jpegify(File imageFile) {
  loadImage2(imageFile);
  File destFile = replaceExtension(imageFile, ".jpg");
  File tempFile = appendToFileName(imageFile, ".jpg");
  File atticFile = newFile(javaxDataDir("JPEGified original pictures"), imageFile.getName());
  atticFile = makeFileNameUnique(atticFile);
  saveJPGVerbose(tempFile, imageFile);
  moveFileVerbose(imageFile, atticFile);
  moveFileVerbose(tempFile, destFile);
  print("Conversion done.");
}