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