break;
	public void fire(EventListener listener)	{		if(!(listener instanceof ViewListener))			return;		ViewListener l = (ViewListener)listener;		switch(id)		{		case CURRENT_ERROR_CHANGED:			l.viewCurrentErrorChanged(this);			break;		case BUFFER_CHANGED:			l.viewBufferChanged(this);		default:			// shouldn't happen			throw new InternalError();		}	}