static void 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);
}