UIDefaults defaults;
  public static Border getInternalFrameBorder()  {    UIDefaults defaults;    Color shadow, darkShadow, highlight, lightHighlight, line;    /* See comment in methods above for why this border is not shared. */    defaults = UIManager.getLookAndFeelDefaults();        shadow = defaults.getColor("InternalFrame.borderShadow");    darkShadow = defaults.getColor("InternalFrame.borderDarkShadow");    highlight = defaults.getColor("InternalFrame.borderLight");    lightHighlight = defaults.getColor("InternalFrame.borderHighlight");    line = defaults.getColor("InternalFrame.borderColor");    return new BorderUIResource.CompoundBorderUIResource(      /* outer border */      new BorderUIResource.BevelBorderUIResource(        BevelBorder.RAISED,        (highlight != null) ? highlight : Color.lightGray,        (lightHighlight != null) ? lightHighlight : Color.white,        (darkShadow != null) ? darkShadow : Color.black,        (shadow != null) ? shadow : Color.gray),      /* inner border */      new BorderUIResource.LineBorderUIResource(        (line != null) ? line : Color.lightGray));  }