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);
 }