if (paintBorder)
if (borderPainted)
  protected void paintBorder(Graphics g)  {    if (paintBorder)      getBorder().paintBorder(this, g, 0, 0, getSize(null).width,                              getSize(null).height);  }