Brian Campbell wrote:

I'm using the Timer structure from the basis library to measure the CPU time used during execution. Comparing the times returned by Timer.checkCPUTimes with those reported by the shell, the nongc times look suspiciously like they include the gc times as well. Shouldn't these be subtracted?

You're right. I've now fixed this in CVS. Thanks for reporting it. David.