patch for bug 11728

[Stepan Koltsov]

This is patch for bug 11728.

--- HashMap.java.orig	Wed Jul 30 21:40:51 2003
+++ HashMap.java	Wed Jul 30 22:23:07 2003
@@ -808,6 +808,7 @@
     // Read and use capacity, followed by key/value pairs.
     buckets = new HashEntry[s.readInt()];
     int len = s.readInt();
+    size = len;
     while (len-- > 0)
       {
         Object key = s.readObject();

-- 
I'm a signature virus. Please add me to Your signature.