void processAdjustmentEvent(AdjustmentEvent e, Collection<AdjustmentListener> c) {
   for (AdjustmentListener listener : c) {
     switch (e.getID()) {
       case AdjustmentEvent.ADJUSTMENT_VALUE_CHANGED:
         listener.adjustmentValueChanged(e);
         break;
     }
   }
 }