public void processAdjustmentEvent(AdjustmentEvent evt_) {
if (_adjustmentListeners != null) {
for (Enumeration<AdjustmentListener> e = _adjustmentListeners.elements();
e.hasMoreElements(); ) {
AdjustmentListener al = (AdjustmentListener) e.nextElement();
al.adjustmentValueChanged(evt_);
}
}
}