1424 notify(); |
1424 notify(); |
1425 } |
1425 } |
1426 |
1426 |
1427 // --- serialization --------------------------------------------- |
1427 // --- serialization --------------------------------------------- |
1428 |
1428 |
|
1429 @SuppressWarnings("unchecked") |
1429 private void readObject(ObjectInputStream s) |
1430 private void readObject(ObjectInputStream s) |
1430 throws ClassNotFoundException, IOException |
1431 throws ClassNotFoundException, IOException |
1431 { |
1432 { |
1432 s.defaultReadObject(); |
1433 ObjectInputStream.GetField f = s.readFields(); |
|
1434 |
|
1435 documentProperties = |
|
1436 (Dictionary<Object, Object>) f.get("documentProperties", null); |
1433 listenerList = new EventListenerList(); |
1437 listenerList = new EventListenerList(); |
|
1438 data = (Content) f.get("data", null); |
|
1439 context = (AttributeContext) f.get("context", null); |
|
1440 documentFilter = (DocumentFilter) f.get("documentFilter", null); |
1434 |
1441 |
1435 // Restore bidi structure |
1442 // Restore bidi structure |
1436 //REMIND(bcb) This creates an initial bidi element to account for |
1443 //REMIND(bcb) This creates an initial bidi element to account for |
1437 //the \n that exists by default in the content. |
1444 //the \n that exists by default in the content. |
1438 bidiRoot = new BidiRootElement(); |
1445 bidiRoot = new BidiRootElement(); |