--- a/jdk/src/java.desktop/share/classes/javax/swing/text/DefaultStyledDocument.java Mon Aug 18 14:03:21 2014 +0100
+++ b/jdk/src/java.desktop/share/classes/javax/swing/text/DefaultStyledDocument.java Tue Aug 19 10:32:16 2014 -0700
@@ -1082,8 +1082,9 @@
private void readObject(ObjectInputStream s)
throws ClassNotFoundException, IOException {
- listeningStyles = new Vector<Style>();
- s.defaultReadObject();
+ listeningStyles = new Vector<>();
+ ObjectInputStream.GetField f = s.readFields();
+ buffer = (ElementBuffer) f.get("buffer", null);
// Reinstall style listeners.
if (styleContextChangeListener == null &&
listenerList.getListenerCount(DocumentListener.class) > 0) {