processAdjustmentEvent(AdjustmentEvent event) {
protected void processAdjustmentEvent(AdjustmentEvent event) {
processAdjustmentEvent(AdjustmentEvent event){  value = event.getValue();		if (adjustment_listeners != null)			adjustment_listeners.adjustmentValueChanged(event);}