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