assert ( data.length > 4 );  if ( style != 0 ) { if ( width > data[1] || data[0] == 0 ) { data[0] = style; data[1] = width; data[2] = color; data[3] = rowIndex; data[4] = colIndex; } else if ( width == data[1] && style < data[0] ) { data[0] = style; data[2] = color; data[3] = rowIndex; data[4] = colIndex; } } else if ( data[0] == 0 ) {   data[1] = 1; }
refreshBorderData( data, style, width, color, rowIndex, colIndex, 0 );
	public static void refreshBorderData( int[] data, int style, int width,			int color, int rowIndex, int colIndex )	{		assert ( data.length > 4 );		if ( style != 0 )		{			if ( width > data[1] || data[0] == 0 )			{				data[0] = style;				data[1] = width;				data[2] = color;				data[3] = rowIndex;				data[4] = colIndex;			}			else if ( width == data[1] && style < data[0] )			{				data[0] = style;				data[2] = color;				data[3] = rowIndex;				data[4] = colIndex;			}		}		else if ( data[0] == 0 )		{			// this is the default line width. set to distinguish from those			// never set.			data[1] = 1;		}	}