public GCStats[] getGarbageCollectorStats() { return (GCStats[]) gcHistory.toArray(new GCStats[gcHistory.depth()]); }
public void push(Object obj) { gcHistory.push(obj); }