svoid saveScreenClip(BWImage img) {
  File f = screenClipFileForMD5(ocrMD5OfBWImage(img));
  if (!f.exists())
    savePNG(f, img.getBufferedImage());
}