sclass DifferentialRegionsMaker_RGBImage extends DifferentialRegionsMaker { int getRGB(int pos) { ret image.getIntPixel_noRangeCheck(pos); } *(BufferedImage img) { super(RGBImage(img)); } *(RGBImage img) { super(img); } }