java.io.EOFException
at java.base/java.io.DataInputStream.readFully(DataInputStream.java:202)
at java.base/java.io.DataInputStream.readUTF(DataInputStream.java:614)
at java.base/java.io.DataInputStream.readUTF(DataInputStream.java:569)
at org.fxmisc.richtext.model.Codec$1.decode(Codec.java:35)
at org.fxmisc.richtext.model.Codec$1.decode(Codec.java:1)
at org.fxmisc.richtext.model.Codec$5.decode(Codec.java:146)
at org.fxmisc.richtext.model.Codec$5.decode(Codec.java:1)
at org.fxmisc.richtext.demo.richtext.TextStyle$1.decode(TextStyle.java:49)
at org.fxmisc.richtext.demo.richtext.TextStyle$1.decode(TextStyle.java:1)
at org.fxmisc.richtext.model.Codec$3.decode(Codec.java:82)
at org.fxmisc.richtext.model.Codec$3.decode(Codec.java:1)
at org.fxmisc.richtext.model.SuperCodec$1.decode(SuperCodec.java:44)
at org.fxmisc.richtext.model.SuperCodec$1.decode(SuperCodec.java:1)
at org.fxmisc.richtext.model.ReadOnlyStyledDocument$3.decode(ReadOnlyStyledDocument.java:150)
at org.fxmisc.richtext.model.ReadOnlyStyledDocument$3.decode(ReadOnlyStyledDocument.java:1)
at org.fxmisc.richtext.model.SuperCodec$1.decode(SuperCodec.java:44)
at org.fxmisc.richtext.model.SuperCodec$1.decode(SuperCodec.java:1)
at org.fxmisc.richtext.model.ReadOnlyStyledDocument$2.decode(ReadOnlyStyledDocument.java:124)
at org.fxmisc.richtext.model.ReadOnlyStyledDocument$2.decode(ReadOnlyStyledDocument.java:1)
at org.fxmisc.richtext.demo.richtext.RichText.load(RichText.java:383)
at org.fxmisc.richtext.demo.richtext.RichText.loadDocument(RichText.java:370)```