A HashMap serialization issue in JDK 7