@serialData the key class, value class, number of entries, first key, first value, second key, second value, and so on.
(ObjectOutputStream stream)
| 134 | */ |
| 135 | |
| 136 | @GwtIncompatible // java.io.ObjectOutputStream |
| 137 | private void writeObject(ObjectOutputStream stream) throws IOException { |
| 138 | stream.defaultWriteObject(); |
| 139 | stream.writeObject(keyType); |
| 140 | stream.writeObject(valueType); |
| 141 | Serialization.writeMap(this, stream); |
| 142 | } |
| 143 | |
| 144 | @SuppressWarnings("unchecked") // reading fields populated by writeObject |
| 145 | @GwtIncompatible // java.io.ObjectInputStream |