}
/** Notifies all <code>JagEncoderListener</code>s that encoder direction has changed */
protected void notifyDirectionChanged() {
for (int i = 0; i < encoderListeners.size(); i++) {
((JagEncoderListener) encoderListeners.elementAt(i)).rotationDidStop(new JagEncoderEvent(this,
JagEncoderEvent.DIRECTION, getState(DISTANCE),
(getState(DIRECTION) == Sensor.TRUE)));
}
}