equal
deleted
inserted
replaced
416 * invoking {@link java.awt.EventQueue#getMostRecentEventTime()}. |
416 * invoking {@link java.awt.EventQueue#getMostRecentEventTime()}. |
417 */ |
417 */ |
418 private void readObject(ObjectInputStream s) throws ClassNotFoundException, IOException { |
418 private void readObject(ObjectInputStream s) throws ClassNotFoundException, IOException { |
419 s.defaultReadObject(); |
419 s.defaultReadObject(); |
420 if (when == 0) { |
420 if (when == 0) { |
421 when = getMostRecentEventTimeForSource(this.source); |
421 // Can't use getMostRecentEventTimeForSource because source is always null during deserialization |
|
422 when = EventQueue.getMostRecentEventTime(); |
422 } |
423 } |
423 } |
424 } |
424 |
425 |
425 /** |
426 /** |
426 * Get the most recent event time in the {@code EventQueue} which the {@code source} |
427 * Get the most recent event time in the {@code EventQueue} which the {@code source} |