public void repaint(Rectangle r)
public void repaint(long tm, int x, int y, int width, int height)
  public void repaint(Rectangle r)	{    repaint((long) 0, (int) r.getX(), (int) r.getY(), (int) r.getWidth(),            (int) r.getHeight());	}