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