writeReplace
private java.lang.Object writeReplace()
throws java.io.ObjectStreamException
When serialized, we eagerly convert sources to strings. This hurts our formatting, but it
guarantees that the receiving end will be able to read the message.
- Throws:
java.io.ObjectStreamException