}
	protected void handleColorBuilderModifyEvent( )	{		int oldValue = ColorUtil.parseColor( getDescriptorProvider( ).load( )				.toString( ) );		ColorUtil.getRGBs( oldValue );		RGB rgb = builder.getRGB( );		int colorValue = -1;		if ( rgb != null )			colorValue = ColorUtil.formRGB( rgb.red, rgb.green, rgb.blue );		if ( oldValue == colorValue )			return;		String value = builder.getPredefinedColor( );		if ( value == null && rgb != null )			value = ColorUtil.format( colorValue, ColorUtil.INT_FORMAT );		try		{			save( value );		}		catch ( SemanticException e )		{			WidgetUtil.processError( builder.getShell( ), e );		}		if ( rgb == null )		{			String colorString = getDescriptorProvider( ).load( ).toString( );			builder.setColorValue( colorString );		}	}