Re: Bug fix for java.util.Timer replacement class

[Tom Tromey]

>>>>> "Steve" == Steve Mayer <address@hidden> writes:

Steve> I encountered a bug in the Timer class.  In the remove method,
Steve> when the heap needs to be shrunk, there is a line of code
Steve> missing.

Thanks.  This patch looks good to me, and I checked it in.

Tom