addAdjustmentListener(AdjustmentListener listener) { adjustment_listeners = AWTEventMulticaster.add(adjustment_listeners, listener);
public synchronized void addAdjustmentListener(AdjustmentListener listener) { adjustment_listeners = AWTEventMulticaster.add(adjustment_listeners, listener);
addAdjustmentListener(AdjustmentListener listener){		adjustment_listeners = AWTEventMulticaster.add(adjustment_listeners, listener);		enableEvents(AWTEvent.ADJUSTMENT_EVENT_MASK);}