<<< public class DoubleBufferImage extends java.awt.Image { public DoubleBufferImage (Image real, double scale) { } <<< <<< <<< <<< <<< <<< <<< <<< } >>> public class DoubleBufferImage extends java.awt.Image { public DoubleBufferImage (Image newReal, double newScale) { } >>> >>> >>> >>> >>> >>> >>> >>> }