public final void figureChanged(FigureChangeEvent e) { ((FigureChangeListener) a).figureChanged(e); ((FigureChangeListener) b).figureChanged(e); }