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