svoid copyBufferedImage(BufferedImage src, int srcx, int srcy, BufferedImage dest, int destx, int desty, int w, int h) {
  copyImagePart(src, srcx, srcy, dest, destx, desty, w, h);
}

svoid copyBufferedImage(BufferedImage src, BufferedImage dest, int destx, int desty) {
  if (src != null)
    copyBufferedImage(src, 0, 0, dest, destx, desty, src.getWidth(), src.getHeight());
}

svoid copyBufferedImage(BufferedImage src, BufferedImage dest, Pt destP) {
  copyBufferedImage(src, dest, destP.x, destP.y);
}

Began life as a copy of #1008798