/** Stop processing animation events. */
public synchronized void stop() {
if (_defaultTrigger != null) _defaultTrigger.stop();
else _altTrigger.stop();
}
/** Stop processing animation events. */
public synchronized void stop() {
if (_defaultTrigger != null) _defaultTrigger.stop();
else _altTrigger.stop();
}
