#1 Beim Farbe anklicken Broken pipe exception

[Scapenet]

Nachdem man ein stück Text markiert hat und dann im
Menü Datei auf Farbe geht bekommt man schöne folgende
Exceptions:

java.net.SocketException: Broken pipe
at java.net.SocketOutputStream.socketWrite0(Native Method)
at java.net.SocketOutputStream.socketWrite(Unknown Source)
at java.net.SocketOutputStream.write(Unknown Source)
at
java.io.ObjectOutputStream$BlockDataOutputStream.drain(Unknown
Source)
at
java.io.ObjectOutputStream$BlockDataOutputStream.setBlockDataMode(Unknown
Source)
at
java.io.ObjectOutputStream.writeNonProxyDesc(Unknown
Source)
at java.io.ObjectOutputStream.writeClassDesc(Unknown
Source)
at
java.io.ObjectOutputStream.writeOrdinaryObject(Unknown
Source)
at java.io.ObjectOutputStream.writeObject0(Unknown Source)
at
java.io.ObjectOutputStream.writeFatalException(Unknown
Source)
at java.io.ObjectOutputStream.writeObject(Unknown Source)
at net.Connection.send(Connection.java:198)
at
document.RemoteAccessibleStyledDocument.createPosition(RemoteAccessibleStyledDocument.java:48)
at
javax.swing.text.AbstractDocument$LeafElement.<init>(Unknown
Source)
at
javax.swing.text.AbstractDocument.createLeafElement(Unknown
Source)
at
javax.swing.text.DefaultStyledDocument$ElementBuffer.split(Unknown
Source)
at
javax.swing.text.DefaultStyledDocument$ElementBuffer.changeUpdate(Unknown
Source)
at
javax.swing.text.DefaultStyledDocument$ElementBuffer.change(Unknown
Source)
at
javax.swing.text.DefaultStyledDocument.setCharacterAttributes(Unknown
Source)
at
document.RemoteAccessibleStyledDocument.setCharacterAttributes(RemoteAccessibleStyledDocument.java:144)
at net.Connection.inboundData(Connection.java:261)
at net.Connection$Receiver.run(Connection.java:70)
at java.lang.Thread.run(Unknown Source)

Und die kommt ganz oft!