case BUFFER_DIRTY_CHANGED: l.bufferDirtyChanged(this); break;
	public void fire(AbstractEditorListener listener)	{		if(!(listener instanceof EditorListener))			return;		EditorListener l = (EditorListener)listener;		switch(id)		{		case BUFFER_CREATED:			l.bufferCreated(this);			break;		case BUFFER_CLOSED:			l.bufferClosed(this);			break;		case VIEW_CREATED:			l.viewCreated(this);			break;		case VIEW_CLOSED:			l.viewClosed(this);			break;		case BUFFER_DIRTY_CHANGED:			l.bufferDirtyChanged(this);			break;		case PROPERTIES_CHANGED:			l.propertiesChanged(this);			break;		default:			// shouldn't happen			throw new InternalError();		}	}