/**
  * Flush a rectangle of cached image data (preliminary interface, may be removed or modified in
  * the future).
  */
 public void flush(Rectangle r) {
   renderer.flush(r);
 }
 /**
  * Flush any cached image data (preliminary interface, may be removed or modified in the future).
  */
 public void flush() {
   renderer.flush();
 }