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