java.util.Vector clear() problem

Nic Ferrier kaffe@rufus.w3.org
Fri, 05 May 2000 22:15:27 +0100


>>> <kaffe@rufus.w3.org> 05-May-00 9:05:36 PM >>>

>> I think 've found a problem with java.util.Vector.clear()
>OK, update from CVS and try it now..

Problem now fixed.


Thankyou.



Nic