BUG (small) in java.util.Vector

[jan grant]

Since this class now implements java.util.List, it's worth pointing out
that
java.util.Vector doesn't supply an implementation for add (although it
has the
functionally identical addElement)

It's a trivial fix; what's the state-of-play regarding the 1.2-ness of
Kaffe's
classes?

jan
-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287163 Fax +44 (0)117 9287112 RFC822 jan.grant at bris.ac.uk
Unfortunately, I have a very good idea of how fast my keys are moving.