x_, y_, width_, height_, toolkit);
/* Now paint the inside border, making allowance for the space
* already used by the outside border.
*/
Insets outer = _outsideBorder.getBorderInsets(component_);
_insideBorder.paintBorder(component_, colorpair_,
x_ + outer.left,
y_ + outer.top,
width_ - outer.left - outer.right,
height_ - outer.top - outer.bottom, toolkit);