for (int i=0; i<controls.length; i++) { log ("Control=" + controls [i] + ", border width=" + controls [i].getBorderWidth ()); }
	void setExampleWidgetState () {		setExampleWidgetEnabled ();		setExampleWidgetVisibility ();		setExampleWidgetBackground ();		setExampleWidgetForeground ();		setExampleWidgetFont ();		setExampleWidgetSize ();		Control [] controls = getExampleWidgets ();		for (int i=0; i<controls.length; i++) {			log ("Control=" + controls [i] + ", border width=" + controls [i].getBorderWidth ());		}	}