@serialData the key class, number of entries, first key, first value, second key, second value, and so on.
(ObjectOutputStream stream)
| 115 | */ |
| 116 | |
| 117 | @GwtIncompatible // java.io.ObjectOutputStream |
| 118 | private void writeObject(ObjectOutputStream stream) throws IOException { |
| 119 | stream.defaultWriteObject(); |
| 120 | stream.writeObject(keyType); |
| 121 | Serialization.writeMap(this, stream); |
| 122 | } |
| 123 | |
| 124 | @SuppressWarnings("unchecked") // reading field populated by writeObject |
| 125 | @GwtIncompatible // java.io.ObjectInputStream |