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