Version 822 was commited by steve on 2008-12-14 13:26:19 +0000 (Sun, 14 Dec 2008) The copy method can have the correct return type on its subclasses and so avoid many casts.