Certainly it seems like we should make a copy. That said, I don't think clone() is the best option. Too many things do not support clone. Best to make an explicit copy.