// it includes the effects of anti-aliasing on object.s
Rectangle r = new Rectangle(x0-1, y0-1, x1-x0+3, y1-y0+3);
rects.add(r);
}
RectListManager devRLM =null;
try {
devRLM = new RectListManager(rects);
devRLM.mergeRects(COPY_OVERHEAD, COPY_LINE_OVERHEAD);
} catch(Exception e) {
e.printStackTrace();
}
renderer.repaint(devRLM);