((Hashtable)colors).clear();
((Hashtable)getColors()).clear();
	public void setMode(Mode mode)	{		if(this.mode == mode)			return;		if(this.mode != null)			this.mode.leave(this);		this.mode = mode;		if(mode == null)		{			tokenMarker = null;		}		else		{			setTokenMarker(mode.createTokenMarker());			((Hashtable)colors).clear(); // XXX			mode.enter(this);		}		fireBufferEvent(new BufferEvent(BufferEvent.MODE_CHANGED,this));	}