if ((debugOptions & LOG_OPTION) != 0) { logStream().println(prefix() + " Filling round rect: " + new Rectangle(x, y, width, height) + " arcWidth: " + arcWidth + " arcHeight: " + arcHeight); }
  public void fillRoundRect(int x, int y, int width, int height, 			    int arcWidth, int arcHeight)  {    graphics.fillRoundRect(x, y, width, height, arcWidth, arcHeight);  }