{   getBorder().paintBorder(this, g, 0, 0, getWidth(), getHeight()); }
getBorder().paintBorder(this, g, 0, 0, getWidth(), getHeight());
	protected  void paintBorder(Graphics g)	{		//	System.out.println("PAINT_BORDER      x XXXXXXX x x x x x x x x x x x x:" + getBorder() + ", THIS="+this);		//       Paint the component's border.		if (getBorder() != null)		{			//System.out.println("PAINT_BORDER      x XXXXXXX x x x x x x x x x x x x:" + getBorder() + ", THIS="+this);			getBorder().paintBorder(this,			                        g,			                        0,			                        0,			                        getWidth(),			                        getHeight());		}	}