static Rect rescaleRect_imageToImage(Rect r, BufferedImage imgSrc, BufferedImage imgDest) {
  ret rescaleRect(r, imgSrc.getWidth(), imgSrc.getHeight(),
    imgDest.getWidth(), imgDest.getHeight());
}

static Rect rescaleRect_imageToImage(Rect r, WidthAndHeight imgSrc, WidthAndHeight imgDest) {
  ret rescaleRect(r, imgSrc.getWidth(), imgSrc.getHeight(),
    imgDest.getWidth(), imgDest.getHeight());
}