if (executions==0) { System.exit(0); }
    void runSinks ()    {        ListIterator iter;                if (!allSinks.isEmpty ())            iter = allSinks.listIterator ();        else            iter = allFilters.listIterator ();                // go over all the sinks        while (iter.hasNext ())        {            Operator sink;            sink = (Operator) iter.next ();            assert sink != null;            /* RMR { rather than running the sink for 10 counts (old code)		 * run the work function once instead		 * 		 * begin old code		 // do bunch of work		 int i;		 for (i = 0; i < 10; i++)		 {		     sink.doWork();		 }		 * end old code		 */		sink.doWork();		/* } RMR */        }    }