Top Ten Metrics for Evaluating your Garbage Collector