thumbBounds.width - 6, thumbBounds.height - 6, thumbHighlightColor, thumbLightShadowColor);
thumbBounds.width - 6, thumbBounds.height - 6, thumbHighlightColor, thumbLightShadowColor); }
  protected void paintThumb(Graphics g, JComponent c, Rectangle thumbBounds)  {    // a disabled scrollbar has no thumb in the metal look and feel    if (!c.isEnabled())      return;    if (scrollbar.getOrientation() == HORIZONTAL)      paintThumbHorizontal(g, c, thumbBounds);    else       paintThumbVertical(g, c, thumbBounds);    // draw the pattern    MetalUtils.fillMetalPattern(c, g, thumbBounds.x + 3, thumbBounds.y + 3,            thumbBounds.width - 6, thumbBounds.height - 6,            thumbHighlightColor, thumbLightShadowColor);  }