if (fColorManager instanceof IColorManagerExtension) {
if ((color == null || !rgb.equals(color.getRGB())) && fColorManager instanceof IColorManagerExtension) {
	private void adaptToTextForegroundChange(Highlighting highlighting, PropertyChangeEvent event) {		RGB rgb= null;				Object value= event.getNewValue();		if (value instanceof RGB)			rgb= (RGB) value;		else if (value instanceof String)			rgb= StringConverter.asRGB((String) value);					if (rgb != null) {						String property= event.getProperty();						if (fColorManager instanceof IColorManagerExtension) {				IColorManagerExtension ext= (IColorManagerExtension) fColorManager;				ext.unbindColor(property);				ext.bindColor(property, rgb);			}						TextAttribute oldAttr= highlighting.getTextAttribute();			highlighting.setTextAttribute(new TextAttribute(fColorManager.getColor(property), oldAttr.getBackground(), oldAttr.getStyle()));		}	}