for (Iterator i = allSources.listIterator(); i.hasNext(); ) { sourceExecs += ((Operator)i.next()).numExecutions;
for (int i=0; i<allSources.size(); i++) { sourceExecs += ((Operator)allSources.get(i)).numExecutions;
    int getSourceExecs() {        int sourceExecs = 0;        for (Iterator i = allSources.listIterator(); i.hasNext(); ) {            sourceExecs += ((Operator)i.next()).numExecutions;        }        return sourceExecs;    }