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

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