1478 |
|
/* ---------------- Serialization -------------- */ |
1479 |
|
|
1480 |
|
/** |
1481 |
< |
* Saves the state of this map to a stream (that is, serializes it). |
1481 |
> |
* Saves this map to a stream (that is, serializes it). |
1482 |
|
* |
1483 |
|
* @serialData The key (Object) and value (Object) for each |
1484 |
|
* key-value mapping represented by the map, followed by |
1503 |
|
} |
1504 |
|
|
1505 |
|
/** |
1506 |
< |
* Reconstitutes the map from a stream (that is, deserializes it). |
1507 |
< |
* |
1508 |
< |
* @param s the stream |
1506 |
> |
* Reconstitutes this map from a stream (that is, deserializes it). |
1507 |
|
*/ |
1508 |
|
private void readObject(final java.io.ObjectInputStream s) |
1509 |
|
throws java.io.IOException, ClassNotFoundException { |