public void setBorderPainted(boolean b) { if (b != paint_border) { paint_border = b; revalidate(); repaint(); } }
public void setBorderPainted(boolean b) { boolean old = paint_border; paint_border = b; if (b != old) { firePropertyChange(BORDER_PAINTED_CHANGED_PROPERTY, old, b); revalidate(); repaint(); } }
	public void setBorderPainted(boolean b) {		if (b != paint_border) {			paint_border = b;			revalidate();			repaint();		}	}