public synchronized void addDirtyRegion(JComponent component, int x, int y, int w, int h) {  }
public synchronized void addDirtyRegion(JComponent component, int x, int y, int w, int h) { Rectangle r = new Rectangle(x, y, w, h); if (dirtyComponents.containsKey(component)) r = r.union((Rectangle)dirtyComponents.get(component)); dirtyComponents.put(component, r); if (! repaintWorker.isLive()) { repaintWorker.setLive(true); SwingUtilities.invokeLater(repaintWorker); } }
	public synchronized void addDirtyRegion(JComponent component, int x,			int y, int w, int h) {		// TODO	} // addDirtyRegion()