Fixed some basic Java API problems (Cloneable, protected finalize) in
two classes.