if (splitPane.hasFocus()) { g.setColor(UIManager.getColor("SplitPane.dividerFocusColor")); g.fillRect(0, 0, s.width, s.height); }
  public void paint(Graphics g)  {    Dimension s = getSize();    // Paint border if one exists.    Border border = getBorder();    if (border != null)      border.paintBorder(this, g, 0, 0, s.width, s.height);    MetalUtils.fillMetalPattern(splitPane, g, 2, 2, s.width - 4, s.height - 4,                                light, dark);    if (splitPane.isOneTouchExpandable())      {        ((BasicArrowButton) rightButton).paint(g);        ((BasicArrowButton) leftButton).paint(g);      }  }