216a217,220
> /** Returns the Number of Active Threads in the CPU */
> int numActiveThreads()
> { return activeThreads.size(); }
>