firePropertyChange(FOCUS_PAINTED_CHANGED_PROPERTY, old, b); if (hasFocus()) { revalidate(); repaint(); } }
if (old != b) { firePropertyChange(FOCUS_PAINTED_CHANGED_PROPERTY, old, b); revalidate(); repaint(); } }
	public void setFocusPainted(boolean b) {		boolean old = paint_focus;		paint_focus = b;		firePropertyChange(FOCUS_PAINTED_CHANGED_PROPERTY, old, b);		if (hasFocus()) {			revalidate();			repaint();		}	}