The Green Tea Garbage Collector