removeAdjustmentListener(AdjustmentListener listener) {
public synchronized void removeAdjustmentListener(AdjustmentListener listener) {
removeAdjustmentListener(AdjustmentListener listener){  adjustment_listeners = AWTEventMulticaster.remove(adjustment_listeners,                                                     listener);}