void redrawHandle (int x, int y, int width, int height, int widgetHandle) {
void redrawHandle (int x, int y, int width, int height, boolean redrawAll, int widgetHandle) {
void redrawHandle (int x, int y, int width, int height, int widgetHandle) {	int display = OS.XtDisplay (widgetHandle);	if (display == 0) return;	int window = OS.XtWindow (widgetHandle);	if (window == 0) return;	int [] argList = {		OS.XmNwidth, 0, 		/* 1 */		OS.XmNheight, 0, 		/* 3 */		OS.XmNborderWidth, 0, 	/* 5 */		OS.XmNborderColor, 0,	/* 7 */	};	OS.XtGetValues (widgetHandle, argList, argList.length / 2);	/*	* Uncomment this code to force the window trimmings to redraw.	*///	if (argList [5] != 0) {//		/* Force the border to repaint by setting the color *///		OS.XtSetValues (widgetHandle, argList, argList.length / 2);//	}	if ((x < argList [1]) && (y < argList [3]) && (x + width > 0) && (y + height > 0)) {		OS.XClearArea (display, window, x, y, width, height, true);	}}