if (sharedMarginBorder == null) sharedMarginBorder = new BasicBorders.MarginBorder();  return sharedMarginBorder;
if (marginBorder == null) marginBorder = new BasicBorders.MarginBorder(); return marginBorder;
  static Border getMarginBorder()  // intentionally not public  {    /* Swing is not designed to be thread-safe, so there is no     * need to synchronize the access to the global variable.     */    if (sharedMarginBorder == null)      sharedMarginBorder = new BasicBorders.MarginBorder();    return sharedMarginBorder;  }