Tom Tromey writes: > >>>>> "Andrew" == Andrew Haley <aph@cambridge.redhat.com> writes: > > Another choice would be to simply put the attribute on the Class class > itself. Why not do it there? Yes. Andrew.