}
public void algorithmUnscheduled(Algorithm algorithm) {
for (int i = 0; i < schedulerListenerList.size(); ++i) {
SchedulerListener schedulerListener = (SchedulerListener)schedulerListenerList.get(i);
schedulerListener.algorithmUnscheduled(algorithm);
}
}
public void schedulerCleared() {
for (int i = 0; i < schedulerListenerList.size(); ++i) {