return new SplitPaneDividerBorder( UIManager.getColor("SplitPane.highlight"), UIManager.getColor("SplitPane.darkShadow"));
return new SplitPaneDividerBorder();
  public static Border getSplitPaneDividerBorder()  {    /* See comment in methods above for why this border is not shared. */    return new SplitPaneDividerBorder(      UIManager.getColor("SplitPane.highlight"),      UIManager.getColor("SplitPane.darkShadow"));  }