JDK 1.1.4 + swing 0.5.1 using Stylepad example. Whilst editing text the following exception is generated periodically :-

/javasoft/jdk1.1.4/bin/java -verify -classpath .:/javasoft/swing-0.5.1/examples/Notepad/Notepad.jar:/javasoft/swing-0.5.1/swing.jar::/javasoft/jdk1.1.4/lib/classes.zip Stylepad
Exception occurred during event dispatching:
com.sun.java.swing.text.StateInvariantError: JLabelView: Stale view: com.sun.java.swing.text.BadLocationException: Invalid location
        at com.sun.java.swing.text.LabelView.sync(LabelView.java:367)
        at com.sun.java.swing.text.LabelView.getPreferredSpan(LabelView.java:110)
        at com.sun.java.swing.text.ParagraphView.computeRow(ParagraphView.java:310)
        at com.sun.java.swing.text.ParagraphView.rebuildRows(ParagraphView.java:282)
        at com.sun.java.swing.text.ParagraphView.layout(ParagraphView.java:252)
        at com.sun.java.swing.text.ParagraphView.changedUpdate(ParagraphView.java:198)
        at com.sun.java.swing.text.BoxView.changedUpdate(BoxView.java:387)
        at com.sun.java.swing.text.DefaultTextUI$RootView.changedUpdate(DefaultTextUI.java:672)
        at com.sun.java.swing.text.DefaultTextUI$UpdateHandler.changedUpdate(DefaultTextUI.java:875)
        at com.sun.java.swing.text.AbstractDocument.fireChangedUpdate(AbstractDocument.java:139)
        at com.sun.java.swing.text.AbstractDocument.externalNotifyChange(AbstractDocument.java:418)
        at com.sun.java.swing.text.DefaultStyledDocument.setCharacterAttributes(DefaultStyledDocument.java:239)
        at Stylepad$SaveAction.actionPerformed(Stylepad.java:217)
        at com.sun.java.swing.AbstractButton.fireActionPerformed(AbstractButton.java:759)
        at com.sun.java.swing.AbstractButton$ForwardActionEvents.actionPerformed(AbstractButton.java:794)
        at com.sun.java.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:314)
        at com.sun.java.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:212)
        at com.sun.java.swing.basic.BasicButtonListener.mouseReleased(BasicButtonListener.java:135)
        at java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:235)
        at java.awt.Component.processMouseEvent(Component.java:2284)
        at java.awt.Component.processEvent(Component.java:2129)
        at java.awt.Container.processEvent(Container.java:890)
        at java.awt.Component.dispatchEventImpl(Component.java:1764)
        at java.awt.Container.dispatchEventImpl(Container.java:935)
        at java.awt.Component.dispatchEvent(Component.java:1704)
        at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:1539)
        at java.awt.LightweightDispatcher.processMouseEvent(Container.java:1448)
        at java.awt.LightweightDispatcher.dispatchEvent(Container.java:1383)
        at java.awt.Container.dispatchEventImpl(Container.java:922)
        at java.awt.Window.dispatchEventImpl(Window.java:443)
        at java.awt.Component.dispatchEvent(Component.java:1704)
        at java.awt.EventDispatchThread.run(EventDispatchThread.java:63)